diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-28 08:22:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-28 08:22:17 -0500 |
commit | 77046b79e4704407cebc8cf1971571215b7dc911 (patch) | |
tree | d40a976d7571d81e9b6554cff0e2a423282f78c9 /src/codegen/impl_debug.rs | |
parent | c7f0fab3782217610f44ae2f32526ab8c330e8b2 (diff) | |
parent | fefbbb56ec78950275ff6a1a714efcaa48bf9e8c (diff) |
Auto merge of #1115 - emilio:bumpit, r=pepyakin
Minor version bump.
Only bugfixes have landed since the last release (#1112 and #1114), apart from
doc fixes.
Diffstat (limited to 'src/codegen/impl_debug.rs')
0 files changed, 0 insertions, 0 deletions