Sorry for the noise. I thought comment 6 was a regression, but it seems it didn't work before either.
Sorry for the noise. I thought comment 6 was a regression, but it seems it didn't work before either.