On Thu, Jul 30, 2009 at 11:44:15AM +0200, Michael Hanselmann wrote: > > 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.
Not a problem ☺ iustin
