j
k
j a
j l
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
Back to the thread
Back to the list
