Filter on library when checking lane name unique (PP-1967)#2190

Merged

jonathangreen merged 2 commits intomainfrom bugfix/lane-with-same-name-different-library

Nov 26, 2024

+36-27

Commits on Nov 25, 2024

Fix inability to create a lane with the same name as a lane in a different library
jonathangreen
committed

Commits on Nov 26, 2024

Code review feedback
jonathangreen
committed