Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 34 lines (28 sloc) 0.916 kb
b594359 @kostis Thank two more contributors
kostis authored
1 The following people, in chronological order, have sent us patches or
0eda58a @kostis Add THANKS file
kostis authored
2 pull requests that have been incorporated in PropEr's code base:
3
d78c031 @kostis Add Jeff Hlywa to the list of contributors
kostis authored
4 1. Joseph Wayne Norton
5 2. Yurii Rashkovskii
6 3. Ryosuke Nakai
7 4. Krzysiek Goj
8 5. Thomas Charbonnel
9 6. Samuel Rivas
10 7. Motiejus Jakštys
11 8. Dave Cottlehuber
12 9. Fredrik Linder
13 10. Jeff Hlywa
f7fa99e @kostis Activate two more tests; thanks to Ingo Struck
kostis authored
14 11. Ingo Struck
b594359 @kostis Thank two more contributors
kostis authored
15 12. Giacomo Olgeni
16 13. Hynek Vychodil
a24e9ab @kostis One more module with proper imports
kostis authored
17 14. Zaiming Shi
348f0b1 @kostis One more contributor to thank
kostis authored
18 15. Pino Toscano
b1e86b3 @kostis Extend the text and the list of those mentioned
kostis authored
19
20 We sincerely thank them for making PropEr a better tool.
21
22 In addition to code contributors, the following people have sent us
23 bug reports that have also improved the quality of PropEr.
24
d78c031 @kostis Add Jeff Hlywa to the list of contributors
kostis authored
25 1. Geoff Cant
fa73364 @kostis Fix spec-checking of bitstr specifications when constant bitstrs are …
kostis authored
26 2. Jorge Diz Pico
da31c4b @kostis Fix the type of the {to_file, device()} option
kostis authored
27 3. Adam Rutkowski
fa73364 @kostis Fix spec-checking of bitstr specifications when constant bitstrs are …
kostis authored
28 ...
da31c4b @kostis Fix the type of the {to_file, device()} option
kostis authored
29 N. Matyas Markovics
b1e86b3 @kostis Extend the text and the list of those mentioned
kostis authored
30
31 Apologies to those who we forgot to mention; we can assure you it's
32 not intentional, we are simply getting older... If you want to be
33 mentioned here, simply report another bug! (There are probably many.)
Something went wrong with that request. Please try again.