commit | 1b5c96d8f0eb4bae1a9e638a0dd358a8987c9cb4 | [log] [tgz] |
---|---|---|
author | bluss <bluss@users.noreply.github.com> | Tue Aug 20 12:06:49 2019 +0200 |
committer | GitHub <noreply@github.com> | Tue Aug 20 12:06:49 2019 +0200 |
tree | 1ccf93aae09feb2212bb486c2daf88c476ccb411 | |
parent | 8e83ce60584decbb7682b8467714a6d9bed1b04a [diff] | |
parent | f330572609dbde759ae4f668004c54d0e361d1cd [diff] |
Merge pull request #272 from bluss/index-types Revert "Don't suggest use of usize instead of u32"