Jonas Smedegaard <dr at jones.dk> wrote: >The cause of the problem is your earlier merge: you really should've >used "git pull --rebase"! OK, thanks for spotting. I'll fix it this weekend when I'll be back. Cheers