Merge branch 'release-4-5-patches'

author Rossen Apostolov <rossen@cbr.su.se>

Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)

committer Rossen Apostolov <rossen@cbr.su.se>

Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
author Rossen Apostolov <rossen@cbr.su.se>
Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
committer Rossen Apostolov <rossen@cbr.su.se>
Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
diff --cc src/kernel/runner.c
Simple merge
diff --cc src/mdlib/minimize.c
Simple merge
author	Rossen Apostolov <rossen@cbr.su.se>
	Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
committer	Rossen Apostolov <rossen@cbr.su.se>
	Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
		1	2
src/kernel/runner.c	patch \|	diff1 \|	diff2 \|	blob \| history
src/mdlib/minimize.c	patch \|	diff1 \|	diff2 \|	blob \| history