--- 1793692.mosse-errate.output	2018-05-01 22:03:34.367661397 +0200
+++ mosse-errate.out	2018-04-22 11:25:15.101682611 +0200
@@ -6,7 +6,7 @@
 |        |
 |        |
 |        |
- 
+
 MOSSA ERRATA
 MOSSA ERRATA
 MOSSA ERRATA