chiark / gitweb /
Optimize the push-free implementation.