Hi! Additional note: Since this bug is considered rather serious, the fix for it has been nominated as a backport for the beta. Thus, the bug should be fixed in Rust 1.32 as well and it shouldn't be necessary to include the patch there.
Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - [email protected] `. `' Freie Universitaet Berlin - [email protected] `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
