Skip to content

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

Closed
david-vadovszki 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
david-vadovszki wants to merge 1 commit into
mainfrom
fix/subtree-port-remap-silently-dropped

Commits

  1. Commits on Sep 29, 2026