Fix HISTORY.rst.

galaxyproject · Sep 12, 2018 · 1191095 · 1191095
1 parent 8722d1f
commit 1191095
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/HISTORY.rst b/HISTORY.rst
@@ -1972,3 +1972,4 @@ History
 .. _@dfornika: https://github.com/dfornika
 .. _@bernt-matthias: https://github.com/bernt-matthias
 .. _@katrinleinweber: https://github.com/katrinleinweber
+.. _@bebatut: https://github.com/bebatut