On Wed, May 04, 2022 at 12:24:22PM +0200, Thijs Kinkhorst wrote: > Maybe we should just remove it from the instructions? One less hoop for > people to jump through and it does not add any real value. Thank you and Moritz! I filed a bug to developers-reference with attached patch to remove that line, and I'll keep uploading with urgency=medium Enrico -- GPG key: 4096R/634F4BD1E7AD5568 2009-05-08 Enrico Zini <enrico@enricozini.org>
Attachment:
signature.asc
Description: PGP signature