[K42-discussion] version on kcvs is not up to date

[Dilma DaSilva]

I had trouble pushing the recent commits (patches from Patrick) into
kcvs, so you may not be able to get the most up-to-date version of k42 
this morning. I'll write to the group once the problem is fixed.

Thanks

dilma