chore: Update authors

(cherry picked from commit dd29ee832c5ba130d877c16c06e1c3b6dd55247a)

diff --git a/misc/update-authors b/misc/update-authors
index c54209fe969943aaed7abae3488c3ce9193fecf2..42949887176cf636b8a8c9521f798e2eab76d631 100755 (executable)
--- a/misc/update-authors
+++ b/misc/update-authors
@@ -22,6 +22,7 @@ ANONYMOUS = {
     "dsilakov",
     "dsrowell",
     "gitmodimo",
+    "kingiler",
     "Kreijstal",
     "kzlar",
     "luzpaz",