Closed victornoel closed 3 years ago
@andreoss see my answer above
@victornoel Indeed. I was thinking about Matchers.greaterThan
, but let's not use them
@rultor merge
@rultor merge
@victornoel OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@victornoel Done! FYI, the full log is here (took me 8min)
Job was finished in 21 hours, bonus for fast delivery is possible (see §36)
@0crat quality good
For #1597.