Merge branches 'dev' and 'master' into dev
Update external.py
Merge branches 'master' and 'dev'