On Fri, Nov 16, 2012 at 5:23 AM, Pedro Alves <pal...@redhat.com> wrote:
> Was this considered? Yup. I just did not implement it. Would be a good follow up, though. Diego.
On Fri, Nov 16, 2012 at 5:23 AM, Pedro Alves <pal...@redhat.com> wrote:
> Was this considered? Yup. I just did not implement it. Would be a good follow up, though. Diego.