Revision 800cb501f7aa94903987242ac6cb987834218048

Committed on 18/08/2015 2:18 am by Edi Modrić <emodric@users.noreply.github.com> [GitHub Diff]

Add in memoriam to Norman Leutner