2/ turned out to be the case.
Regards,
Panayiotis--To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4d10bba4.4070...@gmail.com
