Re: Seeking guidance on submitting several new Python-based ports

From: Pat Maddox <pat_at_patmaddox.com>
Date: Sun, 22 Oct 2023 21:05:44 UTC
On Sun, Oct 22, 2023, at 5:53 AM, Kurt Jaeger wrote:
> Hi!
>
>> > How should I go about submitting these new ports?
>> 
>> If you add one port per PR and set the proper dependencies in each PR,
>> it's easy for several committers to work on those ports.
>
> All the new ports are added to the tree. I hope I did not miss any.

That’s all of them, thanks!

Pat