updates for 6.3.2 release, plus other assorted clean-ups
diff --git a/docs/VERSIONS b/docs/VERSIONS
index d84222f..2b164ca 100644
--- a/docs/VERSIONS
+++ b/docs/VERSIONS
@@ -1371,3 +1371,4 @@
 	- the GL_PIXEL_MAP_I_TO_I table is now floating point, not integer
 	- wglGetProcAddress() didn't handle wgl-functions
 	- fixed glxext.h cross-compile issue (Colin Harrison)
+	- assorted DRI driver fixes