|
| 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] |