File: Avoid-Unicode-characters-not-supported-by-LaTeX.patch

package info (click to toggle)
why3 1.8.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 45,020 kB
  • sloc: xml: 185,443; ml: 111,224; ansic: 3,998; sh: 2,578; makefile: 2,568; java: 865; python: 720; javascript: 290; lisp: 205; pascal: 173
file content (21 lines) | stat: -rw-r--r-- 920 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
From: Stephane Glondu <glondu@debian.org>
Date: Fri, 12 Sep 2025 14:47:10 +0200
Subject: Avoid Unicode characters not supported by LaTeX

---
 doc/foreword.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/foreword.rst b/doc/foreword.rst
index 1cc4c4c..1580852 100644
--- a/doc/foreword.rst
+++ b/doc/foreword.rst
@@ -58,7 +58,7 @@ Guillaume Cluzel, Simon Cruanes, Sylvain Dailler, Xavier Denis, Yacine
 El Haddad, Clément Fumex, Quentin Garchery, Léon Gondelman, David
 Hauzar, Daisuke Ishii, Benjamin Jorge, Jacques-Henri Jourdan, Johannes
 Kanig, Mikhail Mandrykin, Matteo Manighetti, David Mentré, Benjamin
-Monate, Solène Moreau, Kim Nguyễn, Thi-Minh-Tuyen Nguyen, Paul
+Monate, Solène Moreau, Kim Nguyen, Thi-Minh-Tuyen Nguyen, Paul
 Patault, Mário Pereira, Gérald Point, Raphaël Rieu-Helft, Gabriel
 Scherer, Simão Melo de Sousa, Asma Tafat, Piotr Trojanek, Makarius
 Wenzel.