saivann/bitcoin.org — pull request #127 by harding (2014-05-09 18:50:24+00:00)
Title: Fix Image Which Was Never Changed To Fontname=Sans Or Made A PNG

Somehow, in a way that baffles me, the shell loop I ran to change all the images to use Fontname=Sans, generate PNGs, and then optipng managed to miss a single image which still used font=Times and never got a PNG. This pull request fixes that. I also ran a few manual and automatic checks to make sure nothing else was amiss.

As a trivial pull, I'm going to merge it immediately.