Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Close file after using it #59000
@ekohl: Greetings! Thanks for taking the time to open this pullrequest. In order for the community to handle your pullrequest effectively, we need a bit more information.
Here are the items we could not find in your description:
Please set the description of this pullrequest with this template: