Hi developers, why is it necessary to fill in the maintainer of the port in question into the CC: when filing a ticket? I thought this would/could be done automagically by the ticket system... Greets, Marko