Skip to content
This repository has been archived by the owner on Aug 11, 2020. It is now read-only.

doc,lib: fix lint issues #172

Closed
wants to merge 1 commit into from
Closed

doc,lib: fix lint issues #172

wants to merge 1 commit into from

Conversation

danbev
Copy link
Contributor

@danbev danbev commented Oct 15, 2019

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • commit message follows commit guidelines

@danbev
Copy link
Contributor Author

danbev commented Oct 15, 2019

Sorry, I just noticed that there are also fixed in #171.

@danbev danbev closed this Oct 15, 2019
@danbev danbev deleted the fix-lint-issues branch October 16, 2019 04:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant