Merge branch 'master' into master

aflego · Mar 7, 2019 · 313fd2b · 313fd2b
2 parents 998f7ae + e967929
commit 313fd2b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -35,10 +35,12 @@ that are otherwise encumbered.
 Signed by git commit adding my legal name and git username:
 
 Written in 2018 by David E. Jones - jonesde
+Written in 2018 by Sergio Escobar - sereschen
 Written in 2018 by Anderson Urrego Restrepo - xlreconlx
 Written in 2018 by Arlen McDonell - jmcdl
 Written in 2019 by Jovanny Castaño - isokmio
 
+
 ===========================================================================
 
 Grant of Patent License