diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 21b5cb5cee9..cc2d4e72b3e 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -133,6 +133,7 @@ In this release, the following build problems were fixed:
  1. [build] Makefiles break if C frontend target string has unexpected value
  2. [build] hard-wired assumption that shared-library extension is ".so"
  3. +
  4. make tools-only doesn't make lib/Support