Yes, I think we can kill it (if you want some help deleting code, let us
know :P)
Alex
On Sun, Jul 7, 2013 at 9:39 AM, Ronan Lamy wrote:
> 2013/5/9 Armin Rigo
>
>> Hi all,
>>
>> On Thu, May 9, 2013 at 10:01 AM, Antonio Cuni
>> wrote:
>> > Although I have an emotional feeling with that piece
2013/5/9 Armin Rigo
> Hi all,
>
> On Thu, May 9, 2013 at 10:01 AM, Antonio Cuni wrote:
> > Although I have an emotional feeling with that piece of code, I think
> that
> > Alex is right.
>
> I also tend to agree. Killing stuff that nobody seriously cares about
> is sad but good, particularly wh
