]> git.lizzy.rs Git - rust.git/commit
Auto merge of #49758 - bjorn3:miri_public_write_discriminant_value, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 8 Apr 2018 14:12:13 +0000 (14:12 +0000)
committerbors <bors@rust-lang.org>
Sun, 8 Apr 2018 14:12:13 +0000 (14:12 +0000)
commit5f50718225365f6b891e148387d7fd2f2fa41831
tree99ff65d6d137d714541ab298d6b0a58654359193
parentbeab37c90480eb3eee1d4b7b7ed03e95c92f72e5
parent2ff7e73cb50784814b1d89c618a1aeed567a9f70
Auto merge of #49758 - bjorn3:miri_public_write_discriminant_value, r=oli-obk

miri: Make write_discriminant_value public