crux 1.37 minor bug

[B. Frewen]

Hello Crux Users,

I'm writing to inform you of a bug that was recently discovered.
(Many thanks to the user who reported it.) The results for crux
search-for-matches and crux sequest-search may be off if you change
the --bin-width parameter. The default value still works.

The bug will be fixed in the next release coming out later this month.

Please let me know if you have questions.

Barbara