Thanks. If you do turn up something once it is merged, there is always the option to fix it. :)
Chris said I addressed his bigger concerns. Deletion and statistics. On Fri, Aug 11, 2023 at 12:32 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote: > On 11.08.23 00:14, Joel Sherrill wrote: > > I should have asked if you want another round of patches or just go > > ahead and merge. This set of changes was pretty minor. > > This is fine, I had only some cosmetic things. > > -- > embedded brains GmbH > Herr Sebastian HUBER > Dornierstr. 4 > 82178 Puchheim > Germany > email: sebastian.hu...@embedded-brains.de > phone: +49-89-18 94 741 - 16 > fax: +49-89-18 94 741 - 08 > > Registergericht: Amtsgericht München > Registernummer: HRB 157899 > Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler > Unsere Datenschutzerklärung finden Sie hier: > https://embedded-brains.de/datenschutzerklaerung/ >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel