summaryrefslogtreecommitdiff
path: root/CREDITS
diff options
context:
space:
mode:
Diffstat (limited to 'CREDITS')
-rw-r--r--CREDITS1
1 files changed, 1 insertions, 0 deletions
diff --git a/CREDITS b/CREDITS
index 0eb13f0..75f8e2e 100644
--- a/CREDITS
+++ b/CREDITS
@@ -18,6 +18,7 @@ Contributors
The project has received contributions from (in alphabetical order):
* Raphaƫl Barrois <raphael.barrois+semver@polytechnique.org> (https://github.com/rbarrois)
+* Michael Hrivnak <mhrivnak@hrivnak.org> (https://github.com/mhrivnak)
Contributor license agreement