git cherry-pick

 

Add the commit (ebf5bd9e52f70673e..9411d91d45b11) of the chwma_interface branch to the dev branch

Note: A..B means left open and right closed interval, (A, B]

          A^..B represents a closed interval, [AB]

git checkout dev

git cherry-pick ebf5bd9e52f70673e..9411d91d45b11

(If there is a conflict here, go to git status, git add, git commit)
git push origin dev