Merge 00a20d2 into 5254840

pureconfig · Apr 15, 2019 · bf97e9d · bf97e9d
2 parents 5254840 + 00a20d2
commit bf97e9d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -20,3 +20,4 @@ Anshul Bajpai @anshulbajpai
 Nicolae Namolovan @NicolaeNMV
 Dmitry Polienko @nigredo-tori
 Hao Yang ANG <yan9za1@gmail.com> @yangzai
+A. Alonso Dominguez @alonsodomin