tree 991affe05a0a6c1f29108648de6c75d38e51c93b
parent f84bd628883dde7e1db77251c90cb5a1699d218e
author Joachim Bingel <joa.bingel@gmail.com> 1386931908 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1386931908 +0000

bugfix: shrink(1:contains(...)) and nested position operators no longer require spaces after ':' and ','