On Wed, Jun 15, 2022 at 12:51 AM sebb <[email protected]> wrote: > However, it might make it easier to release the binaries if they were > packaged separately, one per OS.
That is a good point, of course! I would completely support that! Jochen --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
