[crux-commits] ports/opt (2.4): Merge branch '2.3' into 2.4

commit 67a216f12b4b2e06a35893712a2cba67d62fae89 Merge: 72d2d4e... 496ce63... Author: Juergen Daubert <jue@jue.li> Date: Tue Oct 30 09:26:25 2007 +0100 Merge branch '2.3' into 2.4