Daniel Stenberg
2dcb5adc72
THANKS-filter: fixed Jonathan Cardoso
2016-05-16 09:04:13 +02:00
Daniel Stenberg
93c3d2ed54
THANKS-filter: Travis Burtrum
2016-04-24 12:46:41 +02:00
Daniel Stenberg
eab769518e
THANKS-filter: unify Michael König
2016-03-10 14:10:05 +01:00
Daniel Stenberg
940c2f51aa
THANKS-filter: single Tim Rühsen spelling
2015-12-01 22:51:50 +01:00
Daniel Stenberg
105828a309
THANKS-filter: merge Todd's names
2015-08-12 08:32:10 +02:00
Daniel Stenberg
bdf89d80ca
THANKS: updated with 7.43.0 names
2015-06-17 07:43:13 +02:00
Daniel Stenberg
aadda65f5e
THANKS-filter: a few more alterations to squash
2015-04-22 07:56:12 +02:00
Daniel Stenberg
ff837422ee
THANKS: added contributors from the 7.41.0 RELEASE-NOTES
2015-02-25 08:34:06 +01:00
Daniel Stenberg
e5a4d1d9e5
THANKS-filter: added another Michał Górny version we've used
2014-11-05 23:14:32 +01:00
Daniel Stenberg
54c8728cd7
contributors.sh: filter common alternative name spellings
...
docs/THANKS-filter is a new filter file for converting contributor names
we get or have recorded in alternative formats to the one we already use
in THANKS. To help us show individual contributors using a single
presentation of their names.
2014-11-05 13:01:37 +01:00