Closed dmitrichev closed 2 years ago
Lint errors were found. A patch is also available.
Please see the report: https://flintci.io/repositories/4231/analyses/66035
This comment was posted by FlintCI. It can be disabled in the repository settings.
@Vasary @mochalygin @argayash Hi all. Can this request be closed?
@Vasary @mochalygin @argayash Hi all. Take a look please
Resolved in #48
FYI @dmitrichev @s-belichenko