chiark / gitweb /
Split Series.push_patch in two