quickie bugfix

[SVN r15433]
This commit is contained in:
Dave Abrahams 2002-09-18 04:07:20 +00:00
parent 4a4913d4f3
commit d8f358160d

@ -1 +1 @@
Subproject commit 4320c73336cbe1ea12b9de0b225934173428a0ec
Subproject commit ca5a222aec0e683f41157b5847ece92cbbb8afb9