diff --git a/ChangeLog.d/issue10740.txt b/ChangeLog.d/issue10740.txt new file mode 100644 index 0000000000..eb7a36c063 --- /dev/null +++ b/ChangeLog.d/issue10740.txt @@ -0,0 +1,3 @@ +Bugfix + * Fixed a bug which prevented the inclusion of standard C library header + files from the user provided configuration file. Fixes #10740.