Oh, you didnt mean "shared", sorry, I'll stop computing for today ;-)

---
Mario
>> Now that everything has been merged down I
>> think this branch should be killed.
>>
>> Any objections?
>>   
>>     
> My last patch is not merged down, shall I commit it there?
>
> Ciao,
> Mario
>
>   

Reply via email to