[Bug 71720] Filename should be page title, whenever possible.

https://bugzilla.wikimedia.org/show_bug.cgi?id=71720 C. Scott Ananian canan...@wikimedia.org changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED

[Bug 71720] Filename should be page title, whenever possible.

https://bugzilla.wikimedia.org/show_bug.cgi?id=71720 --- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 165213 had a related patch set uploaded by Cscott: Use article title as download filename. https://gerrit.wikimedia.org/r/165213 -- You are receiving this mail

[Bug 71720] Filename should be page title, whenever possible.

https://bugzilla.wikimedia.org/show_bug.cgi?id=71720 Gerrit Notification Bot gerritad...@wikimedia.org changed: What|Removed |Added Status|NEW

[Bug 71720] Filename should be page title, whenever possible.

https://bugzilla.wikimedia.org/show_bug.cgi?id=71720 --- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 165213 merged by jenkins-bot: Use article title as download filename. https://gerrit.wikimedia.org/r/165213 -- You are receiving this mail because: You are the

[Bug 71720] Filename should be page title, whenever possible.

https://bugzilla.wikimedia.org/show_bug.cgi?id=71720 --- Comment #1 from Andre Klapper aklap...@wikimedia.org --- Also see bug 71286 -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. ___