From fa7d4337b401979b15eeafc6c7a3d1ef9e61e214 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 29 Jul 2022 11:15:51 +0200 Subject: [PATCH] Fix RST formatting + one URL in Release_Notes.rst --- docs/source/Release_Notes.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/Release_Notes.rst b/docs/source/Release_Notes.rst index 6dfa36e369..49e970bdd9 100644 --- a/docs/source/Release_Notes.rst +++ b/docs/source/Release_Notes.rst @@ -495,8 +495,8 @@ old, non-free ISP test suite by the one from the `MPI Bug Initiative `_), the exploration of scenarios where the actors get killed and/or where -communications timeout, and the addition of a `wrapper to pthreads `, opening the path to the verification classical +`The Anh Pham's thesis `_), the exploration of scenarios where the actors get killed and/or where +communications timeout, and the addition of a `wrapper to pthreads `_, opening the path to the verification classical multithreaded applications. -- 2.20.1