Hi Sandra On 08.10.21 18:58, Sandra Loosemore wrote:
I concur that that should be in a separate PR.It's PR102641 now.
Thanks.
OK to commit v2 of the patch (attached)?
OK – thanks for the patch! Tobias ----------------- 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