On Wed, Apr 29, 2015 at 11:28:55AM +0200, Thomas Schwinge wrote: > Yet, if that's a non-starter, I'll pursue this one:
Yeah, it is a non-starter, it has unnecessary runtime overhead everywhere where it is used. Jakub
On Wed, Apr 29, 2015 at 11:28:55AM +0200, Thomas Schwinge wrote: > Yet, if that's a non-starter, I'll pursue this one:
Yeah, it is a non-starter, it has unnecessary runtime overhead everywhere where it is used. Jakub