xcb_randr_free_lease(3) on Linux

The text 41bbba012b4e, as Debian 10 (Buster) shipped it.

xcb_randr_free_lease(3) on Linux now