[Bug 55441] Closure type hints

2014-03-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Umherirrender changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug 55441] Closure type hints

2014-02-03 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=55441 Nemo changed: What|Removed |Added Target Milestone|--- |1.22.x release -- You are receiving this mail

[Bug 55441] Closure type hints

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