diff hg @ 32939:5694311db6ed

amend: use context manager for locking
author Martin von Zweigbergk <martinvonz@google.com>
date Mon, 19 Jun 2017 11:21:37 -0700
parents b4810bf95c03
children 1900381b6a6e
line wrap: on
line diff