Skip to content

Fix: Report a declared port whose name cannot be used - #35

Closed
dv-picknik wants to merge 1 commit into
mainfrom
fix/subtree-port-remap-silently-dropped
Closed

Fix: Report a declared port whose name cannot be used#35
dv-picknik wants to merge 1 commit into
mainfrom
fix/subtree-port-remap-silently-dropped

fix(xml): report a declared port whose name cannot be used

a5ad6c0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar