- real fix for #450226
authorMichael Schroeder <mls@suse.de>
Thu, 4 Dec 2008 17:06:07 +0000 (17:06 +0000)
committerMichael Schroeder <mls@suse.de>
Thu, 4 Dec 2008 17:06:07 +0000 (17:06 +0000)
commit90521623d349d6622f2f760b2bbe82ea74cd100a
tree3f17d3c27f8c2342e95e2ef85cdc7ef5279a8aea
parent4dffda4c4f5db2acd1d4c67f7caf1484008afa24
- real fix for #450226
- also speeds up solving a lot
src/solver.c