Revision c0e4c731f699f0c1fa48c5bd7976e96957bc9607

Committed on 13/11/2019 7:56 am by Karel <karelke@gmail.com> [GitHub Diff]