linux-traipu team mailing list archive

[Kevin Godby <godbyk@xxxxxxxxx>]

Yeah, it's an issue with the font. The numbers are actually old-style
figures (as opposed to lining figures) and they live in a different
Unicode block that doesn't correspond to the usually digits.

I'm not aware of any fix other than modifying the font itself.

-- 
You received this bug notification because you are a member of UBUNTU -
AL - BR, which is subscribed to Ubuntu Manual.
https://bugs.launchpad.net/bugs/1241122

Title:
  Wrong version of Ubuntu in #348

Status in Ubuntu Manual:
  New

Bug description:
  Hello!

  /ubuntu-desktop/file-manager.tex :14 still refers to Ubuntu 13.04
  instead of 13.10.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-manual/+bug/1241122/+subscriptions