On Thu 04-10-18 17:22:18, Theodore Y. Ts'o wrote:
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.
Thanks!
Honza