Bug fix: result sets with ranked operands weren't sorted.
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 8 Oct 1996 12:59:17 +0000 (12:59 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 8 Oct 1996 12:59:17 +0000 (12:59 +0000)

No differences found