style.sty
changeset 922 e86ea06e3b25
parent 917 89e05a230d2d
child 968 d8d8911a3d6f
--- a/style.sty	Tue Sep 19 12:56:10 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