Revision 8ffb774c6186588ba43c617be90512212d5cdee4

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