2.5.0 added the dev utility thingy

Author git <vivec@telvanni.eu>
Author date 2018-06-02 08:54:40
Author local date 2018-06-02 10:54:40 +0200
Committer git <vivec@telvanni.eu>
Committer date 2018-06-02 08:54:40
Committer local date 2018-06-02 10:54:40 +0200
Commit 29b5dee4ccc07d32a03c311b1e43d5218c637ed0
Tree 3fbe324214175d264a8c2f02d03ff0e0baa5dedd
Parent 3d513616623f21bc4d171e677bb3f6dfb0a0d87b
2.5.0 added the dev utility thingy