Re: Installation instructions vs binaries

[David G. Johnston]

Sorry, not offline but not a big deal...

On Wed, Oct 21, 2020 at 8:40 AM David G. Johnston <
david.g.johns...@gmail.com> wrote:

> Magnus,
>
> [offline]
>
>