>>>>> On Mon, 20 Jan 2003 10:57:19 -0600, _brian_d_foy <[EMAIL PROTECTED]> said:
>> Steven was victim of the same bug I fixed on Sunday. Since then this >> problem can be solved by reindexing. > is that something users can do themselves with the "Reindex" item on > the PAUSE menu, or is it a different reindexing? It's the one on the PAUSE menu, there is no other kind of reindexing. -- andreas
