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

Remove unnecessary comment #7986

Merged
merged 1 commit into from
Sep 25, 2019
Merged

Remove unnecessary comment #7986

merged 1 commit into from
Sep 25, 2019

Conversation

andriantolie
Copy link
Contributor

Change Description

Consensus Changes

  • Consensus Changes

API Changes

  • API Changes

Documentation Additions

  • Documentation Additions

@arhag arhag merged commit a50bd51 into develop Sep 25, 2019
@arhag arhag deleted the gh7313-comment branch September 25, 2019 13:46
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.

2 participants