Thomas Geulig, remove duplicate header
1 file changed