On 31/07/20 22:45 +0100, Jonathan Wakely wrote:
On 31/07/20 23:23 +0200, Gerald Pfeifer wrote:
Pushed.
(Something was off with the ChangeLog detection I'm afraid. I first got
an error message and what ended up in the commit didn't look completely
consistent.)
I noticed the other day that thi
On 31/07/20 23:23 +0200, Gerald Pfeifer wrote:
Pushed.
(Something was off with the ChangeLog detection I'm afraid. I first got
an error message and what ended up in the commit didn't look completely
consistent.)
I noticed the other day that this link was redirecting, but I don't
think we want
