Fix: component.py: pass `other_port`, not `other_port_ptr` to user
This page took 0.03541 seconds and 3 git commands to generate.