Presumably because I asked so he answered. The parent comment brought up the dev originally, but seems it's no longer an issue. Different commenter than the pe

Presumably because I asked so he answered. The parent comment brought up the dev originally, but seems it's no longer an issue. Different commenter than the person you're replying to though.