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)
1  2 
doc/ref/api-evaluation.texi

Simple merge