Closed samuelkgutierrez closed 4 days ago
Sounds sensible. Do you want me to take care of it or do you want to go ahead and do it yourself?
Can you please do that? I don't want to mess that up. Thank you, @GuillaumeMercier.
Will do (probably not today though).
Since we are moving to a new thread interface, can we delete the code associated with the old interface? This would simplify things, in my opinion. @GuillaumeMercier and @eleon what do you think?