2009/7/30 Iustin Pop <[email protected]>: > On Wed, Jul 29, 2009 at 06:35:20PM +0200, Michael Hanselmann wrote: >> >> 2009/6/30 Iustin Pop <[email protected]>: >> > *** This is for discussion, not for commit *** >> >> We discussed it. Can you please commit now? :) > > Bad internets here. Can you please git am-it and commit for me? Thanks ☺
Done, and sorry for not keeping you as the author. It changed to me when I modified the commit message and I realized only after pushing I could've modified the input file instead. Regards, Michael
