Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixes #1279 #1304
Yes, they are. Added change to remove the redundant part. Still think it feels a bit odd to absure globals like that but it does work.