On Thu, Feb 5, 2015 at 10:32 AM, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

40 475 now integrates the fixes for making GT work nicer with the Dark Theme.

Thanks to all the contributors!

�� �� �� �� Marcus