|
From: | martin rudalics |
Subject: | Re: Tooltips GC overhead |
Date: | Tue, 08 Mar 2016 09:02:41 +0100 |
> If nobody objects I intend to apply > the attached patch in the next days. Done as commit 59c7a5d..80864c2 master -> master. martin
[Prev in Thread] | Current Thread | [Next in Thread] |