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