fix broken link to contrib/devtools
Merge pull request #3733

6fe6a44 fix broken link to contrib/devtools (freewil)