4 Dec
2020
4 Dec
'20
10:25 p.m.
From: Ben Crocker on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/670#note_46070143...
Jiri,
I made the change you suggested; thanks!