PatrickAllaert User points: 2 Member Since: Feb 13, 2020 (4 years) Avatar: Recent Answers Update git repository with case-changed files - Debian Started 4 years, 8 months ago