Re: grep project state

[Benno Schulenberg]

Benno Schulenberg wrote:
> Bernhard Rosenkraenzer wrote:
> > Any other important things that should get in before the
> > release?
>
> Only fixes for the glitches that Claudio mentioned last week.

Ping?

Benno