|
| From: | Robert Pluim |
| Subject: | bug#60501: 28.2; pr-interface: widget-default-create: Wrong type argument |
| 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 <eliz@gnu.org> said:
Eli> Fine with me, thanks.
Done.
Robert
--
Closing.
Committed as 7420b6dcc37
| [Prev in Thread] | Current Thread | [Next in Thread] |