On 1/27/22 15:25, Jonathan Wakely wrote:
I have the same patch ready to push, but I'm away from the computer. Please push.
;) I've just pushed that to master. Martin
On 1/27/22 15:25, Jonathan Wakely wrote:
I have the same patch ready to push, but I'm away from the computer. Please push.
;) I've just pushed that to master. Martin