Kalle Pokki writes: > Hmm, it seems you already pushed the changes. This should apply to the > current 'merge' branch. That on its own is hard to justify as a bug fix, isn't it? Paul.