modechange: add notations +40, 00440, etc.

[gnulib.git] / doc / posix-headers / sys_times.texi

diff --git a/doc/posix-headers/sys_times.texi b/doc/posix-headers/sys_times.texi
index 454ef0e..d375592 100644 (file)
--- a/doc/posix-headers/sys_times.texi
+++ b/doc/posix-headers/sys_times.texi
@@ -9,7 +9,7 @@ Portability problems fixed by Gnulib:
 @itemize
 @item
 This header file is missing on some platforms:
-mingw.
+mingw, MSVC 9.
 @end itemize
 
 Portability problems not fixed by Gnulib: