[PATCH v2] rtemstoolkit/mailer.py: Fix option ordering for add_arguments

Chris Johns chrisj at rtems.org
Sat May 8 20:13:31 UTC 2021


> On 8 May 2021, at 4:17 am, Alex White <alex.white at oarcorp.com> wrote:
> 
> The ordering of keys cannot be guaranteed in a dictionary. This changes
> the options iteration to no longer rely on key ordering.

OK

Chris


More information about the devel mailing list