Hi Jan, thanks; we will discuss internally on what action to take.
Best, Richard -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/cad77+gsv7gxmu6vr0h6unit7r9pqvqz27w_vpr+qv3j_5-g...@mail.gmail.com
