Changes: credit where due for recent PRs

2019-08-13 17:06:27 +02:00 · 2019-08-13 17:06:27 +02:00 · c57a30c73f
commit c57a30c73f
parent 54767812fe
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -6,6 +6,8 @@ website will have to do for older versions.
 # 3.2.13 (unreleased) #

 This release contains contributions from (alphabetically by first name):
+ - Arnaud Ferraris
+ - Arnaud Rebillout

 ## Core ##