About the devel "branch"

[K.G.]

Hi everybody,

The devel branch is now totally out of sync with the recent progress
made in stable, and just correspond to an old stable version.

Maybe we could just drop it and use a real CVS branch instead ?
That would allow us to apply patches from stable to devel, and in the
meantime to start some more deeper modifications if we want to.

Cheers,
Guillaume Knispel.