diff options
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index a3d593f3..6e228afe 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -3429,6 +3429,8 @@ Jasmin Jessich <jasmin@anw.at> 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 + for adding handling DEBUG to the Make.config.template file, in order to control + code optimization Martin Schirrmacher <schirrmie@gmail.com> for suggesting to provide a way for skin plugins to get informed about the currently |