Hmm. Weird, the change is in git but no trace of it in Karmic. Looks like perhaps timo and I assumed the other had uploaded it or something. Hopefully not too late for this to go in, but I've uploaded it now.
Hmm. Weird, the change is in git but no trace of it in Karmic. Looks like perhaps timo and I assumed the other had uploaded it or something. Hopefully not too late for this to go in, but I've uploaded it now.