[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Precedence for closed




Either choice are easy to fix from a parsing point of view, so I do
not mind the final precedence of "closed" and can adjust if if Amsterdam
levels were chosen.

Frederic