Merge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:08:14 +0000 (14:08 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:08:14 +0000 (14:08 +0200)
Incorporate changes needed to make the code behave on x86.


Trivial merge