[tor-commits] [tor-browser-build/master] Update NoScript to version 10.1.2