On Jun 10, 2012, at 02:08, Gustaf Neumann wrote: > In order to contribute these ports, how do you prefer it: should > i open a ticket per port or a single ticket sufficient? A single ticket is probably fine since they're all related.