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