Re: HEADS-UP: Git submodule conversion imminent

Johan,

Should be fixed in 04dd7cb3423f1940242fdfe2ea2e3b8abd68a177.

Thanks. "validate" is finished with new settings on Mac. :-) --Kazu