Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleanup build script #1483

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Cleanup build script #1483

merged 1 commit into from
Dec 12, 2023

Conversation

leastprivilege
Copy link
Member

What issue does this PR address?

Important: Any code or remarks in your Pull Request are under the following terms:

If You provide us with any comments, bug reports, feedback, enhancements, or modifications proposed or suggested by You for the Software, such Feedback is provided on a non-confidential basis (notwithstanding any notice to the contrary You may include in any accompanying communication), and Licensor shall have the right to use such Feedback at its discretion, including, but not limited to the incorporation of such suggested changes into the Software. You hereby grant Licensor a perpetual, irrevocable, transferable, sublicensable, nonexclusive license under all rights necessary to incorporate and use your Feedback for any purpose, including to make and sell any products and services.

(see our license, section 7)

@leastprivilege leastprivilege marked this pull request as ready for review December 6, 2023 11:44
@josephdecock josephdecock merged commit 3b5bd18 into main Dec 12, 2023
5 checks passed
@josephdecock josephdecock deleted the dom/cleanup-build-script branch December 12, 2023 20:30
@josephdecock josephdecock added this to the 7.0.0 milestone Jan 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants