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

commit 99eddc49089577b4cbbc426a25c3a4e0c9ddc856 Merge: 899215f... 08b0c32... Author: Juergen Daubert <jue@jue.li> Date: Sat Nov 25 18:14:00 2006 +0100 Merge branch '2.2' into 2.3