Version 3.0 Patchlevel 12 Added Features/Bug Fixes
Fix a bogus message, 'Warning: empty stack in SetPushedFontValue().' Thanks to Dave Bodenstab <imdave@synet.net> for pointing out the problem.
William Chia-Wei Cheng (william@cs.umd.edu)