From 1aabd6da7509cd67ec2b23f3499686ebf4d73704 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 30 Apr 2020 10:24:57 +0200 Subject: [PATCH] Tweak error wording --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 82a047e3ff1b..0df666532341 100644 --- a/README.md +++ b/README.md @@ -270,7 +270,7 @@ Definite bugs found: * [Memory leak in `beef`](https://github.com/maciejhirsz/beef/issues/12) * [Invalid use of undefined memory in `EbrCell`](https://github.com/Firstyear/concread/commit/b15be53b6ec076acb295a5c0483cdb4bf9be838f#diff-6282b2fc8e98bd089a1f0c86f648157cR229) * [Unaligned pointer access in TiKV](https://github.com/tikv/tikv/issues/7613) -* [Invalid use of integer as pointer in `servo_arc`](https://github.com/servo/servo/issues/26357) +* [Dangling shared reference in `servo_arc`](https://github.com/servo/servo/issues/26357) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):