1.0.1dev: record mergeinfo for the merge performed in [11577:11612]
1.0.1dev/l10n/et: translations updated (73%) + merged with 0.12-stable
1.0.1dev/l10n/eo: translations updated (74%) + merged with 0.12-stable
1.0.1dev/l10n/el: translations updated (29%) + merged with 0.12-stable
1.0.1dev/l10n/pt: translations updated (25%) + merged with 0.12-stable
1.0.1dev/l10n/hu: translations updated (74%) + merged with 0.12-stable
1.0.1dev/l10n/pl: translations updated (57%) + merged with 0.12-stable
1.0.1dev/l10n/es_MX: translations updated (74%) + merged with 0.12-stable
1.0.1dev/l10n/da: translations updated (65%) + merged with 0.12-stable
1.0.1dev/l10n/ko: translations updated (46%) + merged with 0.12-stable
