compiz - Jun 2009 - should call glxDestroyPixmap instead of glXDestroyGLXPixmap

Hi,
    We've found that in compiz, glXDestroyGLXPixmap() is called in pair 
with glXCreatePixmap(), but according to GLX 1.4 spec "however, 
GLXPixmaps created by calls other than glXCreateGLXPixmap should not be 
passed to glXDestroyGLXPixmap". so compiz should use glxDestroyPixmap 
instead of glXDestroyGLXPixmap, since their pixmap is created by calling 
glXCreatePixmap.


Thanks
    --Shuang