|
| From: | jgart |
| Subject: | [bug#58313] [PATCH] gnu: gtkwave: Update to 3.3.113. |
| Date: | Tue, 11 Oct 2022 12:47:39 -0500 |
On Tue, 11 Oct 2022 15:21:55 +0200 Ludovic Courtès <ludo@gnu.org> wrote: Thank you! -- jgart
| [Prev in Thread] | Current Thread | [Next in Thread] |