[bug#81040] [PATCH] dist: introduce AM_OPTIONAL_AUTOMAKE for best-effort dist-XXX archives.

Savannah rejects the change since it's not fast-forward. I have no real
idea what I'm doing, but after poking around, I tried:

git commit --amend --author="Kamila Szewczyk <[email protected]>" \
--no-edit
git push origin master --force-with-lease

And it results in:
 ! [remote rejected]     master -> master (non-fast-forward) 

Sigh. I'll write them. What a time-consuming pain. Just glad no one
made any more commits in the meantime.

    How did this happen in the first place :-)?

I use vc-dwim, copied your log message into the ChangeLog, but used your
address from a previous ChangeLog entry :(. --sorry, karl.