K 10
svn:author
V 3
dfr
K 8
svn:date
V 27
2004-07-30T11:09:18.000000Z
K 7
svn:log
V 128
Fix a memory leak in the device pager which is exposed by the NVIDIA
OpenGL driver.

Submitted by: nvidia (possibly also tegge)

END