Revision 800cb501f7aa94903987242ac6cb987834218048

Committed on 18/08/2015 2:18 am by Edi Modrić <[email protected]> [GitHub Diff]

Add in memoriam to Norman Leutner