Closed stschott closed 2 days ago
Make it possible that one can choose between bug reports or feature requests when creating an issue.
Latest develop branch
No response
Made the change in PR: https://github.com/soot-oss/SootUp/pull/973
What happened?
Make it possible that one can choose between bug reports or feature requests when creating an issue.
Version
Latest develop branch
Relevant log output
No response