in fact this also fixes a bug of this repo that appeared on system with case-insensitive filesystems as there were two images GSoC_2016.png and GsoC_2016.png, the filesystem saw it as a single file, and git didn't know what to do
Pull-Request has been merged by bex
in fact this also fixes a bug of this repo that appeared
on system with case-insensitive filesystems as there were
two images GSoC_2016.png and GsoC_2016.png, the filesystem
saw it as a single file, and git didn't know what to do