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 /.github | |
| parent | 0462dfe9f8bfbe482912caeb2bd636ec005b2b9e (diff) | |
Strip all non-numeric characters from version.
This will fix debian packaging.
Updates #5510
PiperOrigin-RevId: 359563378
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions