Re: [BUG] NULL pointer dereference

[Paul Eggert]

On 2025-09-05 20:14, Collin Funk wrote:

This patch works fine, with some formatting adjustments.

But maybe it is just better to use fprintf, which can handle NULL
pointers.

fprintf can handle null pointers?