I believe it is. I just have to wait that my distro packages 2013.1.2 to be sure but the patch mentionned in #5 has been merged in grizzly and when I cherrypicked a few weeks ago it solved this issue.
I believe it is. I just have to wait that my distro packages 2013.1.2 to be sure but the patch mentionned in #5 has been merged in grizzly and when I cherrypicked a few weeks ago it solved this issue.