Re: [PATCH] error: Fix -msg timestamp default

[Paolo Bonzini]

I'll queue this patch.

On 10/10/19 10:15, Markus Armbruster wrote:
> -bool enable_timestamp_msg;

Would you like me to also rename his enable_guestname_msg variable to
error_with_guest_name?

Paolo