[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