From: Philipp Rudo on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1144#note_5959...
sure. BTW I'm joining RH so the email and accounts will still exist in the
future.
Nevertheless I guess it would be better if someone else takes over if we
there's a delay. Don't know when I'll be back online again after I started.