[GRASS-user] error saving workspace

[Vincent Bain]

Hello,

currently working on grass64.svn (v.35911), I cannot save my workspace
anymore under wxpython GUI. An error window pops up with the following
message :

        Writing current settings to workspace file failed (global name
        'val' is not defined).
        
Am I doing something wrong ? 

Vincent