joerg adea5d40cd Use saner default optimizer flags.		2013-10-28 23:45:59 +00:00
..
patch-aa
patch-ab
patch-ac	Use saner default optimizer flags.	2013-10-28 23:45:59 +00:00
patch-ad