chiark / gitweb /
Derivatives census patch generation switched to python-requests