Revision 281982128adaebbb12343468580b11e0d148770c

Committed on 15/11/2018 8:24 am by Filip Š <[email protected]> [GitHub Diff]

Fix for issue #113