From: Mark Hills Date: Wed, 13 Jan 2010 20:40:01 GMT Subject: [PATCH resend] gitk: font and theme use Message-ID: Hi Paul, I'm following up this email with a re-send of some earlier patches for your review (previously sent to the list). They make some fixes to the font and theme use, mainly for consistency. Since last time and have based them on gitk.git master (instead of git.git); no other changes. Thanks -- Mark