From c37faf3cff8583ed9a1462d49400363f2822b6cb Mon Sep 17 00:00:00 2001 From: John Sichi Date: Tue, 20 Sep 2016 19:39:29 -0700 Subject: [PATCH] Credits for last merge. --- HISTORY.md | 1 + 1 file changed, 1 insertion(+) diff --git a/HISTORY.md b/HISTORY.md index 39589523a70..cf7a0cb1205 100644 --- a/HISTORY.md +++ b/HISTORY.md @@ -7,6 +7,7 @@ Changes to JGraphT in each version: - Cleanup of main pom.xml; Added `CONTRIBUTING.md` (contributed by John Sichi) - Added Checkstyle plugin and rules; they are automatically executed by Travis (contributed by Dimitrios Michail) - Unified graph export name providers using a common interface (contributed by Dimitrios Michail) + - Fix `GnmRandomGraphGenerator` bug in computation of maximum number of edges (contributed by Dimitrios Michail) - **version 1.0.0** (19-Sept-2016): - Moved to JDK 1.8 (cleanup contributed by Joris Kinable)