Merge pull request #3495 from Krymonota/update-version-dev-config-file-name-5.3
authorAlexander Ebert <ebert@woltlab.com>
Fri, 28 Aug 2020 18:16:36 +0000 (20:16 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Aug 2020 18:16:36 +0000 (20:16 +0200)
commitc2abcbedace12492307701fdbd719b9a03cb2106
tree5777ec4562fc04b6461c0f96982ccb5ccfa40bcd
parent613db73011f69a172adc25b7820bf4ae753e6357
parent1ae79ce1122fe78e1238a721ac7a0483705b43e8
Merge pull request #3495 from Krymonota/update-version-dev-config-file-name-5.3

Update version number in Devtools config file name to 5.3