Dave Anderson wrote on Thu, Apr 02, 2020: > Yes, let's do that -- queued for crash-7.2.9: > > https://github.com/crash-utility/crash/commit/8c28b5625505241d80ec5162f58ccc563e5e59f9 Thanks! Checked both commits, small wording difference looks good to me. -- Dominique -- Crash-utility mailing list Crash-utility@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/crash-utility