On Thu, Oct 04, 2018 at 06:05:46PM +0200, Jan Kara wrote: > > OK, ok, will do next time. The full git commit ID is faster to cut-n-paste > which shows how lazy I'm ;) No worires, I'll fix that up for you when I apply it. - Ted
On Thu, Oct 04, 2018 at 06:05:46PM +0200, Jan Kara wrote: > > OK, ok, will do next time. The full git commit ID is faster to cut-n-paste > which shows how lazy I'm ;) No worires, I'll fix that up for you when I apply it. - Ted
|