log

age author description
Tue, 01 Jul 2014 17:27:22 +0200 Pierre-Yves David push: move common heads computation into pushop
Tue, 01 Jul 2014 17:20:47 +0200 Pierre-Yves David push: extract fallback heads computation into pushop
Tue, 01 Jul 2014 17:20:31 +0200 Pierre-Yves David push: extract future heads computation into pushop