-
chak@cse.unsw.edu.au. authored
I am putting this patch (as the previous VectInfo patch) straight away into the head to avoid the kind of merging disaster we had with the FC branch. The patch does not interfere with any other functionality and hence should cause no harm in the head.
e5f78a4a