Revision bd3ad0ab6b5d86a7a358dce1028f801c4c7a4457

Committed on 05/12/2016 6:42 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Merge branch '1.0' into 1.1