Update mu to 0.9.11
Merge pull request #5470 from DamienCassou/mu-0.9.11

Update mu to 0.9.11