devtools

778f405f - Fix incorrect type in release notes server api. (#7997)