On Fri, 24 Apr 2020 at 16:24, Ludovic Courtès <[email protected]> wrote: > Rather: > > wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | \ > sudo gpg --import - > > :-)
Nothing good happens after 1am. ;-) Well, it is not a bug so closing. Feel free "operator.name" to ask such questions on [email protected]. All the best, simon
