Hi, Sorry to bother you all,
Following the fixes (thank you so much again) of the two critical issues in cygwin 3.5.0/3.5.1 https://cygwin.com/pipermail/cygwin/2024-February/255561.html , we were wondering if cygwin 3.5.2 is likely to be released soon. We would be extremely grateful and happy for that. Thank you so much again for your work, Kate (from the opam team) -- Problem reports: https://cygwin.com/problems.html FAQ: https://cygwin.com/faq/ Documentation: https://cygwin.com/docs.html Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple