It's not a big problem, but it'll be an ugly and invasive amount of
bookkeeping to manage these top-level typedefs per type deletion.
On Tue, May 7, 2013 at 1:38 PM, Hannes Röst
wrote:
> Hi Robert
>
> After some internal discussion, we have not found an obvious way to not have
> the extra typedef
Hi Robert
After some internal discussion, we have not found an obvious way to not
have the extra typedef. Is this a big problem?
Maybe there are other people on the list that are more fluent in C++ and
could think of a way to do it?
Greetings
Hannes
On 30 April 2013 07:48, Robert Bradshaw wro
