Le Wang <l26w...@gmail.com> writes: > I haven't investigated further though.
We can easily setup a mirror on github and use the platform from this repo. But I'm unsure how this would work. If someone wants to take this in charge, let me know. > I've attached 3 patches to fix this and another bug I found while > writing tests. Ah, our patches crossed. I superseded the first one with my patch, and just applied the third one. Can you explain the bug behind the second one? Thanks! -- Bastien