On Wed, May 18, 2022 at 9:15 PM Gary Gregory <[email protected]> wrote: > > Yeah, I recall wanting to add a dockerfile... but if it's not there I'll > have to go hunt around for it and the notes I might have from that > release...
Please do, Gary. Thanks, Jochen --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
