Revision 7cbf4fcb851e4c3c196819af43c04869051c2dae

Committed on 16/12/2016 3:04 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Merge branch '1.0' into 1.1