Hello Simon,
I'm sorry to disturb you, but I've noticed that your revert patch below
contains this change:
diff --git a/includes/CodeGen.Platform.hs b/includes/CodeGen.Platform.hs
index f3abb3d..3d6dd41 100644
--- a/includes/CodeGen.Platform.hs
+++ b/includes/CodeGen.Platform.hs
@@ -741,8
Hi Karel,
This issue is ticket #9055, which also contains a patch. Could we please merge
it?
Peter
On 13.05.2014, at 08:30, Karel Gardas karel.gar...@centrum.cz wrote:
Hello Simon,
I'm sorry to disturb you, but I've noticed that your revert patch below
contains this change:
diff
On 05/13/14 10:06 AM, Peter Trommler wrote:
Hi Karel,
This issue is ticket #9055, which also contains a patch. Could we please merge
it?
I'm the second petitioner for the merge of your fix! Thanks a lot for
pointing this out and providing the patch!
Cheers,
Karel
It looks like I accidentally slipped that fix in with the allocation
counters patch, and when the patch was reverted the fix was reverted
too. I'll commit the fix from the patch (which is probably better,
that's what I intended to do all along).
Sorry for the mixup!
Simon
On 13/05/14
