Subject: [bug#58313] [PATCH] gnu: gtkwave: Update to 3.3.113.

From: jgart <[email-masked]>
Date: Tue, 11 Oct 2022 12:47:39 -0500

On Tue, 11 Oct 2022 15:21:55 +0200 Ludovic Courtès <[email-masked]> wrote:

Thank you!

--
jgart