Hi all,
7cce1593 has introduced a new routine makeIndexInfo to create
IndexInfo nodes. It happens that we can do a bit more refactoring as
per the attached, as BuildIndexInfo can make use of this routine,
removing some duplication on the way (filling in IndexInfo was still
duplicated in a couple of places before 7cce159).
Any thoughts or objections?
--
Michael