bug #1017: apply Christoph's patch preventing underflows in makeHouseholder
1 file changed