Merge branch 'release-4-5-patches'
authorRossen Apostolov <rossen@cbr.su.se>
Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
committerRossen Apostolov <rossen@cbr.su.se>
Tue, 7 Sep 2010 13:19:40 +0000 (15:19 +0200)
commitee12a3a548ee051180ae5185d25fb0b64255a43e
tree1f4bbdaa03071cfd1af71192f8b910c99ea0ea92
parent2d8f12ff7f799ce4da11a672c8312e0cc4b29ae7
parent134df3bdb80169fb5d88eac7999078d60c58fb88
Merge branch 'release-4-5-patches'
src/kernel/runner.c
src/mdlib/minimize.c