I have a few changes to commit to the hat repo, but I'm unsure if I should or not, Malcolm, what state is the repo in, should I commit now, or wait until post-darcs? Bob