Skip to content
This repository has been archived by the owner on Feb 25, 2025. It is now read-only.

Fix missing backtick #4788

Merged
merged 1 commit into from
Mar 15, 2018
Merged

Fix missing backtick #4788

merged 1 commit into from
Mar 15, 2018

Conversation

floitschG
Copy link
Contributor

No description provided.

@floitschG floitschG requested a review from mit-mit March 15, 2018 10:24
@mit-mit
Copy link
Member

mit-mit commented Mar 15, 2018

lgtm

@floitschG floitschG merged commit 9af174a into master Mar 15, 2018
@floitschG floitschG deleted the floitschG-patch-1 branch March 15, 2018 10:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants