[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
[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
[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