|
From: | Mike Gran |
Subject: | Close 10519, and, how to close bug on debbugs? |
Date: | Tue, 18 Jul 2023 16:20:33 +0000 (UTC) |
Hi, I was looking at https://debbugs.gnu.org/db/pa/lguile.html and saw that 10519 (add mini-gmp) should be closed. How do you actually close a bug? Thanks, Mike Gran
[Prev in Thread] | Current Thread | [Next in Thread] |