Angus Gratton b9a06e68dd Merge branch 'bugfix/minor_fixes' into 'master'
Minor fixes and PRs cherry-picked from Github



See merge request !602
2017-03-23 17:57:28 +08:00
..
2016-12-29 17:29:14 +08:00
2017-03-17 17:26:30 +08:00
2016-12-18 17:20:17 +08:00
2017-03-12 11:38:14 +08:00