(In reply to comment #5) > I have sent .gitreview files for mediawiki/core.git with changes : > > REL1_19 https://gerrit.wikimedia.org/r/3744 > REL1_18 https://gerrit.wikimedia.org/r/3745 > REL1_17 https://gerrit.wikimedia.org/r/3746
Great thanks!
It did seem that just getting some clarification and updating the documentation would've been enough to suffice dealing with this bug :)
(In reply to comment #5) /gerrit. wikimedia. org/r/3744 /gerrit. wikimedia. org/r/3745 /gerrit. wikimedia. org/r/3746
> I have sent .gitreview files for mediawiki/core.git with changes :
>
> REL1_19 https:/
> REL1_18 https:/
> REL1_17 https:/
Great thanks!
It did seem that just getting some clarification and updating the documentation would've been enough to suffice dealing with this bug :)