nitpick, can you change the format to: `Fixes #11135.`