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