test for github bug
Merge remote-tracking branch 'origin/developer' into developer