On Feb 5, 2024, at 10:47 AM, Jim Jones <jim(dot)jones(at)uni-muenster(dot)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