Change in osmo-gsm-manuals[master]: port_number.adoc: Add default osmux port