On Mon, Sep 30, 2013 at 6:22 AM, Gammel Holte wrote:
> On Mon, Sep 30, 2013 at 2:47 AM, Felipe Contreras
> wrote:
>>
>> On Sun, Sep 29, 2013 at 4:43 PM, Oswald Buddenhagen wrote:
>> > On Sun, Sep 29, 2013 at 12:39:03PM -0500, Felipe Contreras wrote:
>> >> Is there a way to update the flags local
On Mon, Sep 30, 2013 at 2:47 AM, Felipe Contreras <
[email protected]> wrote:
> On Sun, Sep 29, 2013 at 4:43 PM, Oswald Buddenhagen wrote:
> > On Sun, Sep 29, 2013 at 12:39:03PM -0500, Felipe Contreras wrote:
> >> Is there a way to update the flags locally fast?
> >>
> > not really, and
