[Bug 55441] Closure type hints

2014-03-26 Thread bugzilla-daemon
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

2014-02-03 Thread bugzilla-daemon
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

2013-10-09 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Normal -- You