fix file extension of 2 patches

closes #54
This commit is contained in:
rofl0r 2018-10-31 19:16:34 +00:00 committed by Rich Felker
parent 474a7e06c0
commit edc9d8e2f0
2 changed files with 0 additions and 0 deletions