https://bugzilla.wikimedia.org/show_bug.cgi?id=47561
--- Comment #14 from Nemo <[email protected]> --- (In reply to dacuetu from comment #13) > No, it was not done and AFAIK there is no bug report for it. Thanks. It would be useful to have a bug report with some requirement for one such minimal tool, see also my https://lists.wikimedia.org/pipermail/libraries/2014-October/000322.html -- 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 [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
