Author: preining Date: 2012-06-09 04:14:04 +0000 (Sat, 09 Jun 2012) New Revision: 5558 Added: tex-common/tags/3.12/ Log: tagging tex-common 3.12 release [For the full diff, use svn diff.]