Subject: Re: bug#60501: 28.2; pr-interface: widget-default-create: Wrong type argument

From: Robert Pluim <[email-masked]>
Date: Fri, 06 Jan 2023 10:08:11 +0100

tags 60501 fixed
close 60501 29.1
quit

>>>>> On Wed, 04 Jan 2023 19:10:23 +0200, Eli Zaretskii <[email-masked]> said:

    Eli> Fine with me, thanks.

Done.

Robert
-- 
Closing.
Committed as 7420b6dcc37