Merge pull request #1932 from wkennington/master.sup
sup: Push sup to the latest git commit
Peter Simons 12 years ago 5e7608e2 869fb529