Re: [PATCH 07/21] Convert config.py

[Iustin Pop]

On Tue, Sep 30, 2008 at 08:00:07PM +0200, Michael Hanselmann wrote:
> 
> The configuration version is now again in the configuration file.
> ---
>  lib/config.py |   16 +++++++---------
>  1 files changed, 7 insertions(+), 9 deletions(-)

LGTM, thanks.