linters: Fix check-version-number
authorBen Gamari <ben@well-typed.com>
Sat, 13 Apr 2019 13:51:59 +0000 (09:51 -0400)
committerBen Gamari <ben@well-typed.com>
Sat, 13 Apr 2019 13:51:59 +0000 (09:51 -0400)
commit7876d08881b66c3e47d8dab3420c9c14616325e4
tree18b23dbca8ab2a83df303ba01d244f5a8c6838c6
parent8870a51bd62f2d4ee7bd21b96240d5806c2817af
linters: Fix check-version-number

This should have used `grep -E`, not `grep -e`
.gitlab/linters/check-version-number.sh