Am 15.08.2012 16:31, schrieb Alexander Graf: > > On 15.08.2012, at 16:24, Andreas Färber wrote: > >> Since this only affects the PReP machine and has mostly been around for a >> while, >> I feel this is still acceptable for v1.2 at this late stage unless Alex >> objects. > > No objections. You might want to send a pull request rather than a patch set > though :).
Thanks. I'm strict about the protocol - first PATCH, then PULL. :) Gives people up to five hours for acks or nacks. ;) Andreas
