upgraded to v1.7.2; a few additional explanatory notes in the documentationv1.7.2

1 files changed, 1 insertions, 2 deletions

diff --git a/about.html b/about.html
index f96d061..011ba8c 100644
--- a/about.html
+++ b/about.html
@@ -20,8 +20,7 @@
 <p>Copyright ⓒ 2016–2017 Robert Alessi</p>
 <p>Please send error reports and suggestions for improvements to Robert Alessi:</p>
 <ul>
-<li><p>email: <a href="alessi@robertalessi.net" class="uri">alessi@robertalessi.net</a></p></li>
-<li><p>email (institutional): <a href="robert.alessi@cnrs.fr" class="uri">robert.alessi@cnrs.fr</a></p></li>
+<li><p>email: <a href="mailto:alessi@robertalessi.net">alessi@robertalessi.net</a></p></li>
 <li><p>website: <a href="http://www.robertalessi.net/arabluatex" class="uri">http://www.robertalessi.net/arabluatex</a></p></li>
 <li><p>comments, feature requests, bug reports: <a href="https://notabug.org/ralessi/arabluatex/issues" class="uri">https://notabug.org/ralessi/arabluatex/issues</a></p></li>
 </ul>