Since the GNU project seems to have abandoned the idea of releases, we might as well integrate nine months of bug fixes.