[Piuparts-devel] pull: for-holger

[Holger Levsen]

Hi,

On Mittwoch, 2. Januar 2013, Andreas Beckmann wrote:
> piatti and develop are desynced:
> 
> Andreas Beckmann (1):
>       Merge branch 'piatti' into develop
> 
> (that's a no-change merge)

done.
 
> That looks sensible, although I didn't test it, yet:
> 
> David Steele (1):
>       Fix states url reference in piuparts-report.py dist html output.

which one is it? "git branch -av|grep dave" doesnt show that one to me?!


cheers,
	Holger