Daimrod writes: > Stefan Monnier writes: > >>> server process when it existed, or nil. However, since a78d87e7ed it >>> raises an error. >> >> Please avoid using Git references until we actually switch to Git. >> Use dates, for example, instead. > > Ok, I'll keep this in mind. Here is a new patch with your proposal: