debian/changelog: note that I refreshed 01-gnulib-directory.patch