cannot update from 13.10 to 14.04

[Luca Ferrari]

In the end using the -d option seems to work:
% sudo do-release-upgrade -d

and a new release is found. I don't understand why the -d switch is required.

Luca