# HG changeset patch
# User wenzelm
# Date 1711303855 -3600
# Node ID a4100b7ab9514ece227c0b2b00a2aad8f1f7d34a
# Parent  2cc5182cbb08bec6e90b94d7cc088fad0c9e1bae
tuned;

diff -r 2cc5182cbb08 -r a4100b7ab951 src/Pure/General/mail.scala
--- a/src/Pure/General/mail.scala	Sun Mar 24 19:08:13 2024 +0100
+++ b/src/Pure/General/mail.scala	Sun Mar 24 19:10:55 2024 +0100
@@ -47,7 +47,7 @@
     def use_auth: Boolean = user.nonEmpty && password.nonEmpty
 
     private def mail_session: JSession = {
-      val props = new JProperties()
+      val props = new JProperties
       props.setProperty("mail.smtp.from", sender.toString)
       props.setProperty("mail.smtp.host", smtp_host)
       props.setProperty("mail.smtp.port", smtp_port.toString)
@@ -56,7 +56,7 @@
       transport match {
         case Transport.SSL(protocol) =>
           props.setProperty("mail.smtp.ssl.enable", "true")
-         props.setProperty("mail.smtp.ssl.protocols", protocol)
+          props.setProperty("mail.smtp.ssl.protocols", protocol)
         case Transport.STARTTLS =>
           props.setProperty("mail.smtp.starttls.enable", "true")
         case Transport.Plaintext =>