tpaviot/oce — comment on commit 47382e1a309df1a5053fb86a250238da6a6393ef
File:  line 0
By tpaviot:

Ok, I will split of the two bugfixes into separate branches, and git cherry-pick other commits but this one.