matsa wrote (22 Feb 2015 23:22:40 GMT) : > Yes indeed, I forgot to merge with master before pushing, sorry. > I merged and resolved the conflicts in translation/447cc35,
merged, thanks.
> but was not able to review them: "gil log -p" on a merge commit does
> not show the detailed changes.