Comment 2 for bug 865389

Revision history for this message
Lorenzo Villani (lvillani) wrote :

The patch is there, and a merge request was approved 6 months ago. It's not merged upstream though.