diff CONTRIBUTORS @ 25363:3ff4b07412ad

ui: flush stdout before writing traceback to stderr Sometimes a traceback message is paired with ui.debug(). This patch makes sure that these messages are displayed in the right order.
author Yuya Nishihara <yuya@tcha.org>
date Sun, 31 May 2015 14:40:28 +0900
parents c29efd272395
children
line wrap: on
line diff