Fixed with commit 64d9c7ea3fec163d86dde933471594ef2fe8c356 (on r-team branch). This will soon be rebased on top of the master branch and merged.
-- Ricardo
Fixed with commit 64d9c7ea3fec163d86dde933471594ef2fe8c356 (on r-team branch). This will soon be rebased on top of the master branch and merged.
-- Ricardo