Revision 9df047bfa72f5caece60aa8e85ca2ff9fa3f14ee

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