From 53046df6289a283dd467579470a9f005c9009e7c Mon Sep 17 00:00:00 2001
From: Yusuke Matsushita <y.skm24t@gmail.com>
Date: Tue, 11 Jun 2019 02:52:13 +0900
Subject: [PATCH] Merge navigations for stable and nightly builds

Merged navigations for stable and nightly builds, reflecting the very recent update.
---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 3902e6f1b..d5a343bb8 100644
--- a/README.md
+++ b/README.md
@@ -5,8 +5,7 @@ under the [MIT license](LICENSE.txt).
 
 If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).
 
-Pre-built binaries for releases are available from [here](https://github.com/Z3Prover/z3/releases), 
-and nightly builds from [here](https://github.com/Z3Prover/bin/tree/master/nightly).
+Pre-built binaries for stable and nightly releases are available from [here](https://github.com/Z3Prover/z3/releases).
 
 Z3 can be built using [Visual Studio][1], a [Makefile][2] or using [CMake][3]. It provides
 [bindings for several programming languages][4]. 
@@ -194,4 +193,4 @@ See [``examples/python``](examples/python) for examples.
 
 ### ``Web Assembly``
 
-[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Cl�ment Pit-Claudel.
+[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.