Re: rpki-client convert to json_do_string()

[Theo Buehler]

On Wed, May 03, 2023 at 09:59:44AM +0200, Claudio Jeker wrote:
> This replaces simple json_do_printf("name", "%s", buf); calls to
> json_do_string(). This affects all json_do_printf() calls since no call
> was more complex.

ok tb