Hey!

Works fine on my Raspberry Pi with Raspberry Pi OS (Debian)

On Sun, May 8, 2022 at 6:38 PM Axel Beckert <abe@deuxchevaux.org> wrote:

> Hi,
>
> On Sat, May 07, 2022 at 04:06:34AM +0000, Daniel Shahaf wrote:
> > Bart Schaefer wrote on Sat, 07 May 2022 02:59 +00:00:
> > > Has anyone tried this at all?  No reports +/- so far.
> >
> > I'm running 5.8.1.2-test.  Haven't gotten around to
> > testing/installing .3.
>
> Same here for the Debian package. Hope to get it done this evening.
>
>                 Kind regards, Axel
> --
> PGP: 2FF9CD59612616B5      /~\  Plain Text Ribbon Campaign,
> http://arc.pasp.de/
> Mail: abe@deuxchevaux.org  \ /  Say No to HTML in E-Mail and Usenet
> Mail+Jabber: abe@noone.org  X
> https://axel.beckert.ch/   / \  I love long mails:
> https://email.is-not-s.ms/
>
>