commit | 3e6d767784b037b90a14701b6c9f0643f05db963 | [log] [tgz] |
---|---|---|
author | Roger Peppe <rogpeppe@gmail.com> | Fri Feb 23 19:01:16 2018 +0000 |
committer | GitHub <noreply@github.com> | Fri Feb 23 19:01:16 2018 +0000 |
tree | f83d4b28fb42dff26f25d2ea11b20390f0fc02ba | |
parent | d670f9405373e636a5a2765eea47fac0c9bc91a4 [diff] | |
parent | 3eb2270747cdd89e3f095cb24e8dd4ccf2a098f6 [diff] |
Merge pull request #335 from rogpeppe/024-merge-devel merge devel into v2