diff options
| author | fearlessTobi <thm.frey@gmail.com> | 2018-10-06 15:51:37 +0200 |
|---|---|---|
| committer | fearlessTobi <thm.frey@gmail.com> | 2018-10-06 15:51:37 +0200 |
| commit | 8e6311bfd235057fca209741cc87013e3c96997b (patch) | |
| tree | d7ef321fb02404d08e6c6dc904e238a9c698c384 /src/core/arm | |
| parent | 6cc7656e814340ab0030b3b2e39342a501c56560 (diff) | |
Remove "#" in the version number
So that people can stop using it in issue/pr comments and randomly link some other issue/pr unintentionally.
Diffstat (limited to 'src/core/arm')
0 files changed, 0 insertions, 0 deletions