actually, while there are indeed other examples where merging fixes
would have made sense, those 3 above are conceptually different so we
wanted to have them separate intentionally.
yeah, we definitely try to do that but -tip is released daily so the
window to squash patches is small in an append-only setup. There were 2
days between those fixes above so even if we wanted we couldnt squash
them. The purpose of finegrained fixes is to observe the effects of the
fixes. (sometimes the fix is worse than the bug it purports to fix)
Anyway, i think you'll see less of these in the next merge window.
Ingo
--