websockets==17.0.1
Vendored by scripts/vendor_websockets.py — do not edit by hand.
