maint: remove unnecessary gnulib .diff file
[coreutils.git] / .prev-version
blobef59ed7f56792b6235648c81d01f580a179036fa
1 8.12