Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorMichael Schroeder <mls@suse.de>
Mon, 17 May 2010 12:38:58 +0000 (14:38 +0200)
committerMichael Schroeder <mls@suse.de>
Mon, 17 May 2010 12:38:58 +0000 (14:38 +0200)

Trivial merge