s/double/triple/ to avoid unintentional pun#3103

gribozavr merged 1 commit intomaingoogle/comprehensive-rust:mainfrom

sam-mccall-patch-1google/comprehensive-rust:sam-mccall-patch-1Copy head branch name to clipboard