Re: LinuxKPI fix for 13.3

From: Mark Johnston <markj_at_freebsd.org>
Date: Tue, 09 Jan 2024 18:00:18 UTC
On Tue, Jan 09, 2024 at 11:29:35AM -0600, Greg Balfour wrote:
> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=271333
> 
> Can this be merged to 13 for the upcoming 13.3 release?  I manually
> applied it to my 13.2 system a few weeks ago and haven't seen a
> crash since.  Was seeing the occasional crash without it.

Certainly.  The patch is now in stable/13, so it'll appear in 13.3.