Comment 3 for bug 1090272

Ok, I am on to it.

Johan

On 12/14/2012 11:57 AM, Garth Wells wrote:
> 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
>