Re: [PUSHED] change indentation

2012-08-14 Thread Michael Meeks
On Tue, 2012-08-14 at 18:28 +0200, Philipp Riemer wrote: > However, the tool did not upload only the last one but all my > patches of the evening... Seems as if it is too smart for me > and I did something wrong. Help/hints appreciated! Nah - it was prolly slow / out of sync. > However,

Re: [PUSHED] change indentation

2012-08-14 Thread Philipp Riemer
2012/8/14 Michael Meeks : > > On Sun, 2012-08-12 at 16:58 +, Gerrit wrote: >> Philipp Riemer has uploaded a new change for review. >> Change subject: change indentation > > Found pushed, > > Michael. > > PS. do we really need to send this lot via gerrit ? and hence the >