Skip to content

Fix: Name the port and the cause when a port name is rejected - #37

Closed
dvadovsz wants to merge 1 commit into
PickNikRobotics:mainfrom
dvadovsz:fix/port-name-error-names-the-cause
Closed

Fix: Name the port and the cause when a port name is rejected#37
dvadovsz wants to merge 1 commit into
PickNikRobotics:mainfrom
dvadovsz:fix/port-name-error-names-the-cause

Commits

  1. Commits on Oct 2, 2026