diff --git a/status/compiler_status.html b/status/compiler_status.html index 183dd9461e..cad10d2c44 100644 --- a/status/compiler_status.html +++ b/status/compiler_status.html @@ -52,7 +52,9 @@ the compiler may not work properly.
[compiler messages] Contributed by Jens Maurer -