Update to muon 4.7.10 #13034

Merged

darkdh merged 1 commit into 0.20.x from update-muon-4.7.10

Feb 6, 2018