On Tue, 03 Mar 2020 15:19:23 -0600 Scott Wood <swood@xxxxxxxxxx> wrote: > > Thanks for making sure it wasn't missed in any case. > > Steven, any plans to merge that patch into 4.19-rt? > > In the meantime, I guess it's a question of whether the bug fixed by patch > 18/23 is worse than the (probably quite hard to hit) deadlock addressed by > 2dcd94b443c5dcbc. Yes, I plan on doing my backports thursday and friday. -- Steve