Skip to content
Snippets Groups Projects
Commit 3367e79f authored by João Brázio's avatar João Brázio Committed by GitHub
Browse files

Merge pull request #4458 from jbrazio/followup-4448 

Fixes a compilation error introduced by #4448
parents c677d2ac 8896f080
Branches
Tags
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment