diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-06-16 13:15:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-16 13:15:46 +0200 |
| commit | 09320140b59f234e2292cabf03b4f23962a6029d (patch) | |
| tree | bc435a9b55757db20bb3e1cf0005203e2e3c8b7e /.gitignore | |
| parent | e672d52f7caae591e4d07747a312f2bef538bbea (diff) | |
| parent | b2247ef4f6b02cf4e666455eb9afc86398fff35d (diff) | |
Merge pull request #8525 from tweag/fix-i686-build
Don't assume the type of string::size_type
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions