[crux-commits] ports/contrib (3.3): Revert "docker: updated to version 1.13.0"