From 1eb2472b199e06de57bf9e9663033fb356f5ee76 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Fri, 22 Jul 2022 23:45:07 +0700 Subject: [PATCH] README: Fix release notes link. (#6185) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4849c33d818..2d75c73d683 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Pre-built binaries for stable and nightly releases are available from [here](htt Z3 can be built using [Visual Studio][1], a [Makefile][2] or using [CMake][3]. It provides [bindings for several programming languages][4]. -See the [release notes](RELEASE_NOTES) for notes on various stable releases of Z3. +See the [release notes](RELEASE_NOTES.md) for notes on various stable releases of Z3. ## Build status