Module Name: src Committed By: mrg Date: Sat Dec 28 14:13:40 UTC 2013
Modified Files:
src/distrib/sets/lists/misc: mi
Log Message:
actually fix the previous change as desired.
To generate a diff of this commit:
cvs rdiff -u -r1.186 -r1.187 src/distrib/sets/lists/misc/mi
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
