Close 10519, and, how to close bug on debbugs?

[Mike Gran]

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