diff hgext3rd/topic/revset.py @ 4741:e8727a27e380

py3: filter() now returns a generator, so wrap when we need a list
author Martin von Zweigbergk <martinvonz@google.com>
date Sun, 14 Jul 2019 22:34:36 -0700
parents 7b36f9728351
children 48b30ff742cb
line wrap: on
line diff