diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 38084be7..8fd4ebda 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -178,3 +178,6 @@ Lauri Pesonen <lauri.pesonen@firsthop.com> Emil Naepflein <Emil.Naepflein@philosys.de> for his hint about the 'ftw()' library function + +Sergei Haller <Sergei.Haller@math.uni-giessen.de> + for fixing the LastActivity timestamp after a shutdown prompt |