See the description in the randrproto repository.

Add lease notify event

Signed-off-by: Keith Packard <keithp@keithp.com>