On 12/28/2012 10:52 PM, Stefano Lattarini wrote: > commit 65fa753d961bcecb066fa4c3fca8e1d979868981 > Merge: f72b86a 9bd06c8 > Author: Stefano Lattarini <stefano.lattar...@gmail.com> > Date: Fri Dec 28 22:51:33 2012 +0100 > > Merge branch 'maint' > > * maint: > maint: delete '$scriptversion' from all our scripts > This merge has been dropped too (as the commit that was being merged by it), before being pushed out.
Sorry for the noise, Stefano