diff -r 032b6186fddc -r 58315c8a5cc4 etc/build.props
--- a/etc/build.props	Thu Oct 26 11:29:00 2023 +0200
+++ b/etc/build.props	Tue Oct 24 19:17:46 2023 +0200
@@ -87,6 +87,7 @@
   src/Pure/General/linear_set.scala \
   src/Pure/General/logger.scala \
   src/Pure/General/long_name.scala \
+  src/Pure/General/mail.scala \
   src/Pure/General/mailman.scala \
   src/Pure/General/mercurial.scala \
   src/Pure/General/multi_map.scala \