develop21 rebased onto release20. All out-of-sync commits now fixed.
Renamed 'release20' to master. Deleted old 'develop' branches. You've got a fresh start for 2017, guys! Use it wisely. Use it well.
This commit is contained in:
parent
d0a4af096e
commit
17db2a20e8