[Bug 55441] Closure type hints
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Umherirrender umherirrender_de...@web.de changed: What|Removed |Added Status|NEW |RESOLVED CC||umherirrender_de...@web.de Resolution|--- |FIXED Flags|Backport_to_Stable? | --- Comment #1 from Umherirrender umherirrender_de...@web.de --- gerrit 53923 is already part of release 1.22 -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 55441] Closure type hints
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Nemo federicol...@tiscali.it changed: What|Removed |Added Target Milestone|--- |1.22.x release -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 55441] Closure type hints
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Normal -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l