style.sty
changeset 921 b4da72f2219f
parent 917 d3d371ae5fab
child 967 258e18af6d14
--- a/style.sty	Tue Sep 19 09:54:41 2023 +0100
+++ b/style.sty	Thu Sep 21 12:57:27 2023 +0100
@@ -87,7 +87,7 @@
 improvement, I am very grateful to hear.\medskip
 
 If *you* want to share anything (code, videos, links), you are
-encouraged to do so. Just drop me an email.} 
+encouraged to do so. Just drop me an email or send a message to the Forum.} 
 
 
 % CW deadlines