On 06/08/2019 13:35, Thomas Munro wrote:
> On Tue, Aug 6, 2019 at 9:26 PM Heikki Linnakangas <hlinnaka@iki.fi> wrote:
>> Attached is a patch that contains your fix.txt with the changes for
>> clarity mentioned above, and an isolationtester test case.
>
> LGTM.
Pushed, thanks!
- Heikki