Paolo Bonzini Fri, 14 Mar 2014 05:40:39 -0700
Il 14/03/2014 06:58, Fam Zheng ha scritto:
Ping. Should we take this in 2.0?
Of course, I'll send it for 2.0-rc1. Paolo