diff options
author | Adin Scannell <ascannell@google.com> | 2021-02-25 10:54:14 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-02-25 10:58:51 -0800 |
commit | 56053f084f06e61e963b0007e7bf99e69a0f9144 (patch) | |
tree | 65ddd050b55ec5beaa921c933f95352081f1f566 /website/assets | |
parent | 0462dfe9f8bfbe482912caeb2bd636ec005b2b9e (diff) |
Strip all non-numeric characters from version.
This will fix debian packaging.
Updates #5510
PiperOrigin-RevId: 359563378
Diffstat (limited to 'website/assets')
0 files changed, 0 insertions, 0 deletions