Hi, On Sunday, 30 October 2022 02:49:24 CET Mark Wielaard wrote: > Awesome. ChangeLog entries, updated documentation and tests. How can I > not merge this? :) Pushed. Thanks! :)
> Yeah, we only do that before a release. Ah, I see, that makes sense. Good to know I wasn't missing anything. Have a good day! -- Arsen Arsenović
signature.asc
Description: This is a digitally signed message part.
