|
| From: | Miguel Ángel Arruga Vivas |
| Subject: | bug#43934: [PATCH 0/2] Fixes for the manual |
| Date: | Sat, 17 Oct 2020 16:24:31 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
I've just pushed them. ^.^ I'll close this report too. This is what -done are for, isn't it? Thank you very much. Miguel
| [Prev in Thread] | Current Thread | [Next in Thread] |