After further discussion, we have decided to withdraw PEP 836

2 points | by Ralfp 7 hours ago