Revision 923567824bebf6ff29c761c357b57e85a21d20b7

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