[m-rev.] diff: make filling in goal ids faster
Zoltan Somogyi
zoltan.somogyi at runbox.com
Sun Aug 10 22:16:51 AEST 2014
I don't think this needs review, but someone wants to do one,
I will address any comments after commit.
Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.goal_id
Type: application/octet-stream
Size: 461 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20140810/6a153758/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.goal_id
Type: application/octet-stream
Size: 14203 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20140810/6a153758/attachment-0001.obj>
More information about the reviews
mailing list