Just in case anyone stumbles over this thread in the future, please see https://lists.debian.org/debian-project/2015/01/msg00021.html
Richard -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/CAD77+gQ3ucXRC8S2ikYt5x=lqmh576zx4eceadgjut38ve+...@mail.gmail.com

