>> Bob, while I have your attention, would it be eventually possible >> to make the FreeType mirroring on github work as Armin has detailed >> out some months ago? > > Eventually I am sure it will happen. It just isn't on the high > priority side of the list of things that must-happen-today. [...]
OK, no problem! Thanks for adding it to your list of things to do. I
fully agree that it isn't a high-priority thing.
Werner
