devtools

199c3e8e - Fix bug with the `dt update-version` tool (#9793)