Comment 2 for bug 1090272

On Fri, Dec 14, 2012 at 10:46 AM, Johan Hake <email address hidden> wrote:
> If you have not started on the SWIG side I can take responsibility of
> that.
>

I haven't started, so go for it.

Garth

> Johan
>
> On 12/14/2012 10:11 AM, Garth Wells wrote:
>> Public bug reported:
>>
>> Before next release, need to change
>>
>> sizet -> size_t
>>
>> in Python interface, and
>>
>> DolfinIndex -> dolfin::index
>>
>> ** Affects: dolfin
>> Importance: Critical
>> Status: New
>>
>> ** Changed in: dolfin
>> Importance: Undecided => Critical
>>
>
> --
> You received this bug notification because you are a member of DOLFIN
> Core Team, which is subscribed to DOLFIN.
> https://bugs.launchpad.net/bugs/1090272
>
> Title:
> Change index type names
>
> To manage notifications about this bug go to:
> https://bugs.launchpad.net/dolfin/+bug/1090272/+subscriptions