Andreas J. Koenig wrote:
Hmmm. Offhand I cannot see another problem. Maybe you could ask CDOLAN to give co-maintainership on that to THALJEF, then Jeff could order a re-index on PAUSE and see if this fixes the index. If not, it's probably a bug on PAUSE. In any case I will have to dig deeper.
Chris gave Jeff and I co-maint on that a long time ago. Or so it seemed.
