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ć