BUG closed: [59c2eb8] Wrong result for jumping from root
authorKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 14:10:57 +0000 (16:10 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 14:10:57 +0000 (16:10 +0200)

No differences found