against INFO THREADS, ps and top.\r
o Created automatically generated build number, so that it is easier to see\r
whether a build is newer or older than an other.\r
+ o Changed configuration element mipmapping_default_on to mipmapping-default-on\r
+ for consistency with the rest of the configuration (Jesper Stærkær).\r
\r
Consumers\r
---------\r