]> git.decadent.org.uk Git - dak.git/commitdiff
Merge branch 'merge'
authorJoerg Jaspert <joerg@debian.org>
Thu, 29 Oct 2009 13:23:52 +0000 (14:23 +0100)
committerJoerg Jaspert <joerg@debian.org>
Thu, 29 Oct 2009 13:23:52 +0000 (14:23 +0100)
* merge:
  Don't ignore KeyboardInterrupt either in process_unchecked
  Don't log "dak top-level starting" every time we run "dak ls" or something.


Trivial merge