Revision 6ac7139c5fadebf8dac7c9ac0a7c7526d7b074c0

Committed on 07/12/2016 12:38 am by Petar Å panja <[email protected]> [GitHub Diff]

Merge branch '1.0' into 1.1