On Wed, Oct 30, 2013 at 08:07:45PM -0700, H. Peter Anvin wrote: > You can use git for your own purposes, still. git mk-coffee --refill --now -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. --