Use less visit_token in the ripper translator
#4105
+14
−33
Merged
background
wait
wait-all
cancel
Loading