Ooops, sorry, Jonathan had already replied. You can thus ignore my previous email on this bug.
-- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/85sihjnjya....@boum.org
