Revision 8419bcb2253dc6698ace6be54941c643f59482da

Committed on 12/11/2018 3:49 am by Mario Blažek <blazek.mario@gmail.com> [GitHub Diff]