On Tue, 28 Mar 2017 10:22:18 -0700, David Soria Parra wrote:
> # HG changeset patch
> # User David Soria Parra
> # Date 1490721698 25200
> # Tue Mar 28 10:21:38 2017 -0700
> # Node ID b89199982355728a3741edf5518c72ccc52ee33c
> # Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b
> worker: flush
On 3/28/17 6:22 PM, David Soria Parra wrote:
# HG changeset patch
# User David Soria Parra
# Date 1490721698 25200
# Tue Mar 28 10:21:38 2017 -0700
# Node ID b89199982355728a3741edf5518c72ccc52ee33c
# Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b
worker: flush ui buffers before running t
# HG changeset patch
# User David Soria Parra
# Date 1490721698 25200
# Tue Mar 28 10:21:38 2017 -0700
# Node ID b89199982355728a3741edf5518c72ccc52ee33c
# Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b
worker: flush ui buffers before running the worker
a91c6275 introduces flushing ui buff