What's the state of this? I presume the font will continue to be used in 17.10 and on? Commits to the repository have stalled it seems?
What's the state of this? I presume the font will continue to be used in 17.10 and on? Commits to the repository have stalled it seems?