Revision 56f4adb0a1506f56fc4675bdcae68e9a293d8d79

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