On Sun, Dec 1, 2013 at 3:09 AM, 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. A testcase would be nice here. -- Regards, Zeeshan Ali (Khattak) FSF member#5124