1.0.1dev: record mergeinfo for the merge performed in [11577:11612]
Authored by: cboos 2013-01-27
Parent: [r11612]
Child: [r11614]