On Sun, Jul 09, 2017 at 07:55:15PM +0200, Boris Feld wrote:
> # HG changeset patch
> # User Jun Wu
> # Date 1496552183 25200
> # Sat Jun 03 21:56:23 2017 -0700
> # Node ID ff2ebc11f12a26a4e0bda3ccf5fde63f5f690813
> # Parent 8b71290526ddb77f157e075191dd748793d85601
> #
# HG changeset patch
# User Jun Wu
# Date 1496552183 25200
# Sat Jun 03 21:56:23 2017 -0700
# Node ID ff2ebc11f12a26a4e0bda3ccf5fde63f5f690813
# Parent 8b71290526ddb77f157e075191dd748793d85601
# EXP-Topic obs-cache
obsstore: keep self._data updated with _addmarkers
This makes