@Gabriel
I think Mathias's patch will be merged in 3.19. It's up to maintainers. But there is no problem to apply this patch.
@Gabriel
I think Mathias's patch will be merged in 3.19. It's up to maintainers.
But there is no problem to apply this patch.