On 21.06.21 22:31, Sandra Loosemore wrote:
On 6/21/21 5:42 AM, Tobias Burnus wrote:OK – but see some comments below.Revised patch attached. How's this one?
LGTM - thanks! Tobias ----------------- Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Frank Thürauf
