On Tue, 23 Sep 2014 17:18:05 +0200, Mark Wielaard wrote:
> Sure, that avoids one cast, which is always nice. Patch updated.

That looks more OK with me to keep ctags working.


Thanks,
Jan