9 Mar
2022
9 Mar
'22
3:40 p.m.
On Wed, Mar 09, 2022, Paolo Bonzini wrote:
On 3/9/22 13:31, Maxim Levitsky wrote:
Question: is it worth it? Since I am very busy with various things, this feature, beeing just small debug help which I used once in a while doesn't get much time from me.
I agree it's not very much worth.
I don't have a use case, was just trying to find the bottom of my inbox and came across this thread.