[brinker]

Glad that the soundness bug was caught so quickly, and that the new version has been put out so quickly. Thanks Rust team!