Merge branch 'master' into docking

# Conflicts:
#	docs/CHANGELOG.txt
This commit is contained in:
omar 2019-07-27 18:21:41 -07:00
commit a1164399b0
11 changed files with 73 additions and 44 deletions