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
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