saucy and trusty are fixed. Could you update to one of those? If you can find what git commits fixed this, we might be able to get it fixed. I'm not sure if it's a big enough issue though.
saucy and trusty are fixed. Could you update to one of those?
If you can find what git commits fixed this, we might be able to get it fixed. I'm not sure if it's a big enough issue though.