diff hgext/bugzilla.py @ 4596:8e37342cb05d

patchbomb: flush ui before delegating to pager.
author Patrick Mezard <pmezard@gmail.com>
date Sun, 17 Jun 2007 19:40:02 +0200
parents 0897bf8d54c7
children 1e0b94cfba0e
line wrap: on
line diff