<html dir="ltr"><head></head><body style="text-align:left; direction:ltr;"><div>For the time library, I would rather the GHC team make a pull request first, and let me do the release. At the very least I want to know what's going on and what the needs are.</div><div><br></div><div>-- Ashley</div><div><br></div><div>On Tue, 2019-07-02 at 16:18 +0000, Simon Peyton Jones wrote:</div><div><br></div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div> The GHC release team is free to make a minor (patch-level)</div><div> release of an existing released version of the library L,</div><div> embodying any changes necessary to make the library work</div><div> with the new version of GHC</div><div><br></div></blockquote><div><br></div></body></html>