Thanks for the update
! Gavin, is the URI feature on Windows planed to get an exhaustive test during 0.7 development or is that something for 0.6.1, too?
One further question on Github in general, after a pull request is accepted, is it okay to delete that branch from local and remote repo? Will all commits still be visible?
Dia