Yes, sorry, this seems to have been an oversight. I can't change the milestone to 0.20 now because that's already been released, but this was indeed fixed in r458.
Yes, sorry, this seems to have been an oversight. I can't change the milestone to 0.20 now because that's already been released, but this was indeed fixed in r458.