Merge branch '8017lint' of https://github.com/rwldrn/jquery into 8017lint