On Mon, Dec 16, 2013 at 4:40 PM, Fabiano Fidêncio <fidencio at redhat.com> wrote: > Debian 7 is using 7.\d.\d format of ISOs instead of the usual 7.0.\d > --- ACK -- Regards, Zeeshan Ali (Khattak) FSF member#5124