On Fri, 4 Sep 2020 at 17:26, divoplade <d...@divoplade.fr> wrote: > Well, you must be right. I did not think it out long enough. It broke > at the same time I saw the emacs update, so I inferred it incorrectly.
Nonetheless, it is still annoying. :-) > > Note that the parent commit c05d2cfcbd builds successfully on my > > machine. Therefore, I do not know from where the failure comes from. > I can't find such a commit ID. It does not seem to exist in the git > repo. Do you know the date, author or committer? git log --format="%p" -1 36a09d1853 and the answer is c05d2cfcbe. I do not know how I did the mistake when copy/pasting. All the best, simon
