This page documents public branch heads in our repository.
-----------------------
+*12/19/2001 V7_6_5-branch* {linebreak}
+Branch for the V7_6_5 stable release, made from
+592a0fe083e9df9c1f0ba7595ceca66e4556998a
+
*11/21/2011 V7_7-bosco-publicbranch* {linebreak}
This is the branch for BOSCO development (#2421), made from 8eddd262021a5b7cccf46253815f36f82c19abaa (origin/master)
