summary refs log tree commit diff
path: root/src/tools/miri
blob: 974c8be95ec17cd986251d7700cd432a39576939 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 97c35abe2b8386c3df7caf8278155cd2948281b7
parent e05639a22596999e758fd0f598db23091e2c9837
parent 5c4dc072bd6f36b6929673582a423c1be7ba485c
author bors <bors@rust-lang.org> 1583314861 +0000
committer bors <bors@rust-lang.org> 1583314861 +0000

Auto merge of #1205 - RalfJung:serde, r=RalfJung

downgrade serde_json to match rustc workspace

@bors r+