On Feb 5, 2024, at 10:47 AM, Jim Jones <jim.jo...@uni-muenster.de> wrote:
> The patch applies cleanly and it no longer crashes with NULL parameters. > Docs render fine and regression tests pass. I have nothing more to add. > Let's now wait for Pavel's review. Much obliged! D
