Re: [dev] Re: [dvtm] [PATCH] Fix redraw bug when show_border() changes.

From: Marc André Tanner <mat_AT_brain-dump.org>
Date: Wed, 18 Jun 2014 17:09:15 +0200

Applied both.

Thanks,
Marc

-- 
 Marc André Tanner >< http://www.brain-dump.org/ >< GPG key: CF7D56C0
Received on Wed Jun 18 2014 - 17:09:15 CEST

This archive was generated by hypermail 2.3.0 : Wed Jun 18 2014 - 17:12:06 CEST