commit | c3d227dfd03ba5d331d34631341ae065d4408ffb | [log] [tgz] |
---|---|---|
author | Sigurd Meldgaard <sigurdm@google.com> | Mon Mar 16 10:06:12 2020 +0100 |
committer | GitHub <noreply@github.com> | Mon Mar 16 10:06:12 2020 +0100 |
tree | 35c86b693640dd4719004d3cd1585cb07f613a77 | |
parent | bbb0613370556c7b9d1a77c6c1e5d7307d452ebd [diff] | |
parent | 572d9fd7166f1f5b86e70234abf5e5cf3a62c721 [diff] |
Merge pull request #45 from sigurdm/fix_version_range_union Fix union of version ranges