Fix the bot reporting about bot-/user-only ports#1438

Merged

vanosg merged 3 commits intoeggheads:developfrom michaelortmann:portgefluester

Dec 31, 2023

+30-5

Commits on Mar 14, 2023

Fix the bot reporting about bot-/user-only ports
michaelortmann
committed

Commits on Dec 31, 2023