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
