Revision 42beaf055a321f76e623ded997affe224a0749f0

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