On 01/08/2011 12:52, Manuel M T Chakravarty wrote:
Simon Peyton-Jones:
| As pushing patches that do not validate seems to be all the rage at the
moment, I
| push my fixes to #5360 although I cannot complete validate due to the
appended
| *unrelated* breakage.
Yes, apologies for the origina
Simon Peyton-Jones:
> | As pushing patches that do not validate seems to be all the rage at the
> moment, I
> | push my fixes to #5360 although I cannot complete validate due to the
> appended
> | *unrelated* breakage.
>
> Yes, apologies for the original breakage which was my fault. It was a
| As pushing patches that do not validate seems to be all the rage at the
moment, I
| push my fixes to #5360 although I cannot complete validate due to the
appended
| *unrelated* breakage.
Yes, apologies for the original breakage which was my fault. It was a Friday
afternoon glitch.
Simon
As pushing patches that do not validate seems to be all the rage at the moment,
I push my fixes to #5360 although I cannot complete validate due to the
appended *unrelated* breakage.
(To be clear, I think, my commits are fine, but I cannot test that at the
moment due to the unrelated problems w
