[[ Release 6.7.1 ]] Include bugfix 12558 in IDE submodule