diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 57d2c0ed..6cdde391 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -1144,6 +1144,8 @@ on user disconnect. (PR #993)
  • Enhancements:
  • Build system: