log

age author description
Thu, 10 Oct 2019 22:41:50 -0700 Martin von Zweigbergk widening: trust user to give full "known" set
Fri, 11 Oct 2019 00:06:27 -0700 Martin von Zweigbergk widening: remove "depth" argument since it's always None
Fri, 11 Oct 2019 00:03:10 -0700 Martin von Zweigbergk widening: remove unused "heads" argument