[crux-commits] ports/opt (3.0): Merge branch '3.0' of crux:/home/crux/scm/ports/opt into 3.0