Revision 6ac7139c5fadebf8dac7c9ac0a7c7526d7b074c0

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

Merge branch '1.0' into 1.1