> I will apply it like this, when savannah is back:

Committed. It was not savannah which was down; my IP provider has a routing
problem between me and the entire *.gnu.org domain.

Bruno



Reply via email to