Marc Nieper-Wißkirchen wrote:
> I have acquired a Raspberry Pi with an ARMv8

Good point. I added a bit more info:
https://git.savannah.gnu.org/gitweb/?p=gnulib/maint-tools.git;a=commitdiff;h=09212bac9fc0e41fe11826d9d89965d8e54d4c98

Bruno




Reply via email to