Skip to content

fix bad merge

Pierre-Yves David requested to merge topic/default/fix-bad-merge into branch/default

The content of 37b52b938579 was broken by a hg branch --rev xxx invocation. This small branch redo this merge to re-introduce the dropped content.

Merge request reports