| Sun, 14 Jul 2019 22:34:36 -0700 | Martin von Zweigbergk | py3: filter() now returns a generator, so wrap when we need a list | changeset | files |
| Fri, 12 Jul 2019 23:19:50 -0700 | Martin von Zweigbergk | py3: don't depend on map() iterating over its input | changeset | files |