chiark / gitweb /
Remove another erroneous GINT_TO_POINTER.