Comment 4 for bug 751325

Bill, it is broken not because of our code but because the fix for the SVGs files of the theme that we provided have not been merged. See https://bugs.launchpad.net/ubuntu/+source/ubuntu-mono/+bug/752607

Olivier recommended in our merge request: "I’m approving, but let’s wait for bug #752607 to be fixed before merging."
I decided on Friday to merge our code anyway hoping that the new SVGs would be uploaded to the theme the same Friday. I spoke to the responsible for that several times and we made it trivially easy for him to make that happen.

Let's make sure this happens first thing Monday morning.