Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
lint: confusing phrasing of warning 47 #3738
By mistake I confused
which is fairly confusing, since there was no synopsis! It took me some time to find what the real issue was.