<!DOCTYPE html>
<html lang="en">
<head>
    <meta http-equiv="refresh" content="0;URL=../../encode_unicode/trait.U8UtfExt.html">
</head>
<body>
    <p>Redirecting to <a href="../../encode_unicode/trait.U8UtfExt.html">../../encode_unicode/trait.U8UtfExt.html</a>...</p>
    <script>location.replace("../../encode_unicode/trait.U8UtfExt.html" + location.search + location.hash);</script>
</body>
</html>