Re: [XBoard-devel] versions on alpha.gnu.org

[h.g. muller]

What do you all think?

If we are going to label by date, wouldn't it be better to drop the pre,
and number something like 4.4.1.091018 or even 4.4.091018?