[PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Jonathan Nieder <hidden> · 2016-06-15
Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Josh Triplett <josh@joshtriplett.org> · 2016-06-15
Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Jonathan Nieder <hidden> · 2016-06-15
Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Mark Hills <hidden> · 2016-06-15
Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Paul Mackerras <hidden> · 2016-06-15
Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available · Jonathan Nieder <hidden> · 2016-06-15

Re: [PATCH] gitk: use symbolic font names "sans" and "monospace" when available

From: Jonathan Nieder <hidden>
Date: 2016-06-15 22:53:20

Paul Mackerras wrote:

Thanks, applied.

Thanks to all of you for looking it over.