The text a9d87399eb40, as Debian 8 (Jessie) shipped it.
Set the value of the WM_COLORMAP_WINDOWS property
XtSetWMColormapWindows(3) on Linux now
