[emacs-common-proofgeneral/f20] New upstream release (fixes bz 972343). Fix eps2pdf BR (bz 913972 and 992196). Add BRs for newer ver
Jerry James
jjames at fedoraproject.org
Sat Aug 24 20:01:15 UTC 2013
Summary of changes:
ffd0df0... New upstream release (fixes bz 972343). Fix eps2pdf BR (bz (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list