<pman>Intégration de la branche dev74

CHANGES.md

@@ -1,3 +1,5 @@
+## Release 0.7.2p74 du 28/10/2025-05:34
+
 ## Release 0.7.1p82 du 23/10/2025-10:28
 
 ## Release 0.7.1p74 du 23/10/2025-10:27

VERSION.txt

@@ -1 +1 @@
-0.7.1
+0.7.2

php/src/mail/mailer.php

@@ -173,7 +173,8 @@ class mailer {
     $tos = str::join(",", $tos);
     msg::debug("Sending to $tos");
     if (!$mailer->send()) {
-      throw new MailerException("erreur d'envoi du mail", $mailer->ErrorInfo);
+      throw (new MailerException("erreur d'envoi du mail"))
+        ->setTechMessage($mailer->ErrorInfo);
     }
   }