Ben Gamari ben at
Thu Jan 10 17:53:05 UTC 2019

Simon Peyton Jones <simonpj at> writes:

> To return to the original question, how do I add an overall comment for a (multi-comment) review?
Unfortunately you can only add an overall comment separate from the
multi-comment review. I have inquired [1] about the status of this
feature with upstream.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list