I guess not, because nobody complaint and it was removed some time ago.
Should I correct the comment or do you suggest I change it to >=10.8 ?