From 1004207a01468ef7e157e3b3713f232ce769e48b Mon Sep 17 00:00:00 2001 From: John Sichi Date: Sun, 6 Oct 2019 22:01:36 -0700 Subject: [PATCH] Credits for last merge. --- CONTRIBUTORS.md | 1 + HISTORY.md | 1 + 2 files changed, 2 insertions(+) diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 8fbec78e22a..aec10a7bff8 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -132,6 +132,7 @@ JGraphT wouldn't be the library it is today without the source contributions and - [Charul Bhanawat](https://github.com/CharulBhanawat13) - [Benjamin Krogh](https://github.com/bkrogh) - [Reynaldo Gil Pons](https://github.com/gilcu3) +- [Sean Hudson](https://github.com/shduke) (if we have missed your name on this list, please email us to get it fixed). diff --git a/HISTORY.md b/HISTORY.md index 5d76d7d3b97..379328be94f 100644 --- a/HISTORY.md +++ b/HISTORY.md @@ -9,6 +9,7 @@ Changes to JGraphT in each version: - Updated Yen`s algorithm to operate on pseudo graphs correctly (contributed by Semen Chudakov) - Updated Guava to version 28.0 (contributed by John Sichi) - Fixed bug in `BiconnectivityInspector` which would occasionally return an incorrect set of biconnected components (contributed by Reynaldo Gil Pons) + - Allow edge selection to be overridden in `CrossComponentIterator` (contributed by Sean Hudson) - **version 1.3.1** (3-Jun-2019): - Prepared release cycle 1.3.1: removed deprecated code, updated dependencies, etc (contributed by Joris Kinable)