PR merged: https://github.com/python-websockets/websockets/pull/1697 Still waiting for a release.
PR merged: python-websockets/websockets#1697
Still waiting for a release.