Closed Doldrums closed 2 years ago
Issue 133 - after discussion we decided that this puzzle was useless for now
@yegor256 merge please
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@yegor256 Done! FYI, the full log is here (took me 6min)
Issue 133 - after discussion we decided that this puzzle was useless for now