From 73eb97c9067caabe5dc93bbb4c5e68b5783f1787 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 1 Dec 2020 17:02:20 +0100 Subject: Apply suggestions from code review Co-authored-by: Jim Fehrle --- doc/sphinx/changes.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 6facb0e207..9a2e1b686b 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -83,7 +83,7 @@ Georges Gonthier, Benjamin Grégoire, Jason Gross, Hugo Herbelin, Vincent Laporte, Assia Mahboubi, Kenji Maillard, Guillaume Melquiond, Pierre-Marie Pédrot, Clément Pit-Claudel, Kazuhiko Sakaguchi, Vincent Semeria, Michael Soegtrop, Arnaud Spiwack, Matthieu Sozeau, Enrico -Tassi, Laurent Théry, Anton Trunov, Li-yao Xia, Théo Zimmermann +Tassi, Laurent Théry, Anton Trunov, Li-yao Xia and Théo Zimmermann The 52 contributors to this version are Reynald Affeldt, Tanaka Akira, Frédéric Besson, Lasse Blaauwbroek, Clément Blaudeau, Martin Bodin, Ali Caglayan, Tej Chajed, @@ -535,8 +535,8 @@ Commands and options `-native-compiler` option of the configure script is added as an on demand value, which becomes the default, thus preserving the previous default behavior. - The stdlib is still precompiled when configuring with `-native-compiler` - yes. It is not precompiled otherwise. + The stdlib is still precompiled when configuring with `-native-compiler + yes`. It is not precompiled otherwise. This an implementation of point 2 of `CEP #48 `_ (`#13352 `_, -- cgit v1.2.3