b90b415 "13" instead of "thirteen" to make the line shorter :)

Authored and Committed by mattdm 2 years ago
    "13" instead of "thirteen" to make the line shorter :)