K 10 svn:author V 8 mckusick K 8 svn:date V 27 2003-02-24T07:28:41.000000Z K 7 svn:log V 182 When removing the last item from a non-empty worklist, the worklist tail pointer must be updated. Reported by: Kris Kennaway Sponsored by: DARPA & NAI Labs. END