Credits for last merge.

AlexOcculate · Jun 3, 2021 · 20c1813 · 20c1813
1 parent 74ef546
commit 20c1813
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/HISTORY.md b/HISTORY.md
@@ -13,6 +13,7 @@ Changes to JGraphT in each version:
     - Added support for custom names in vertices/edges collections in JSON I/O (contributed by Dimitrios Michail)
     - Fixed assertion message in succinct graphs (contributed by Rostislav Svoboda)
     - Made result ordering predictable in some algorithms (contributed by Dimitrios Michail)
+    - Added user guide for WebGraph and Sux4J adapters (contributed by Sebastiano Vigna)
 
 - **version 1.5.1** (18-Mar-2021)
     - Prepared release cycle 1.5.1: removed deprecated code, updated dependencies (contributed by Joris Kinable)