Merge branch 'remove-henhe83' into 'devel'

Remove henhe83

See merge request !20 (merged)

(cherry picked from commit b940cfc1)

147fc490 Remove henhe83

manifests/examfiles.pp

 class aes::examfiles {
 
-  include users::henhe83
   include users::micis03
   include users::jondy94
 
@@ -9,10 +8,6 @@ class aes::examfiles {
     allowdupe => false,
   }
 
-  User <| title == henhe83 |> {
-    groups +> liuitdrs,
-  }
-
   User <| title == micis03 |> {
     groups +> liuitdrs,
   }