Antoine "hashar" Musso <> changed:

           What    |Removed                     |Added
             Status|PATCH_TO_REVIEW             |RESOLVED
         Resolution|---                         |FIXED

--- Comment #52 from Antoine "hashar" Musso <> ---
After much madness, this is now fixed. I had to write a bunch of shell slave
scripts to let us properly push the VE update change to
mediawiki/extensions.git and self merge them.

The job is:

It managed to merge an update a few minutes ago:

I guess the issue is fixed now. Sorry for the long time it took to get this

You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to