Merge commit 'a5cbbaa66a2491453db0edff9b0cb592a98f61bf'
authorAndy Wingo <wingo@pobox.com>
Fri, 7 Feb 2014 13:43:23 +0000 (14:43 +0100)
committerAndy Wingo <wingo@pobox.com>
Fri, 7 Feb 2014 13:43:23 +0000 (14:43 +0100)
commit7d484bfa15172982862b450db6a2a3620e95239d
treecefa7ff610c2eaa90e645a7d286bacbc5b351beb
parente4eb0e39b4bbfa321fd30376ebdda32e931b60f7
parenta5cbbaa66a2491453db0edff9b0cb592a98f61bf
Merge commit 'a5cbbaa66a2491453db0edff9b0cb592a98f61bf'
doc/ref/api-evaluation.texi