On Wed, Jul 5, 2023 at 6:16 PM Thomas Schwinge <tho...@codesourcery.com> wrote: > > Hi! > > OK to push the attached > "GGC, GTY: Tighten up a few things re 'reorder' option and strings"?
OK. > > Grüße > Thomas > > > ----------------- > Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 > München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas > Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht > München, HRB 106955