Credits for last merge.

omerb4 · Oct 7, 2019 · 1004207 · 1004207
1 parent 577148b
commit 1004207
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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)