diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 9f342077..7cdb554c 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -3426,6 +3426,7 @@ Jasmin Jessich <jasmin@anw.at> for fixing detecting the inclusion of STL header files in tools.h for help and suggestions when implementing debug output for checking the correct sequence of locking global lists + for suggesting to use $(Q) to control Makefile verbosity Martin Schirrmacher <schirrmie@gmail.com> for suggesting to provide a way for skin plugins to get informed about the currently |