michael@0: # Holds the current milestone.
michael@0: # Should be in the format of
michael@0: #
michael@0: #    x.x.x
michael@0: #    x.x.x.x
michael@0: #    x.x.x+
michael@0: #
michael@0: # Referenced by milestone.pl.
michael@0: # Hopefully I'll be able to automate replacement of *all*
michael@0: # hardcoded milestones in the tree from these two files.
michael@0: #--------------------------------------------------------
michael@0: 
michael@0: 31.3.0