diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-10-09 07:32:14 -0400 |
|---|---|---|
| committer | Tej Chajed <tchajed@mit.edu> | 2017-10-09 07:32:14 -0400 |
| commit | c51567b3c651e72bf5ddf398b7428960cb7ff078 (patch) | |
| tree | c3015858d8d4e6956413e4a989c4f9a132f337f4 /plugins | |
| parent | f1598b00219a951e94036cb7f48a8fe1309025f1 (diff) | |
Include leading zeros in version info
Fixes BZ#5779
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions