On 12-02-20 20:26, Peter Pöschl wrote: > Ahem, being a git novice and thinking I did something wrong with the > 'git pull' request, I removed my local repository and then a fresh > > $ git clone git://github.com/tomaszmrugalski/dibbler.git dibbler-trunk > > But there doesn't seem to be anything new in the repo, because Uh oh. I did git push and never bothered to see if it went through. Apparently it was rejected, because I did push doc changes from other box. Sorry about that. I should be more careful.
I have pushed this fix and checked that it is indeed available. Tomek -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
