THANKS: added missing names from year <= 2000
Due to a report of a missing name in THANKS I manually went through an old CHANGES.0 file and added many previously missing names here.
Loading
Please register or sign in to comment
WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
Due to a report of a missing name in THANKS I manually went through an old CHANGES.0 file and added many previously missing names here.