Frederik Walk

Thanks for your reply! We've indeed already patched the parts we need for our use-case to use poll() instead. Good to know that this is already addressed for 1.4, it...