New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/47516#issuecomment-1852113380

Comment:
@ahesford: just to mention that prompt_toolkit 3.0.42 has been released. In addition to including the 1821 patch from this PR, it also includes another PR of mine that it seems will make our dont-handle-sigint patch unnecessary. If you are not in a hurry to merge this I'll test it with sagemath and make a PR later this week (maybe on the weekend).