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

Add a new 12.7 Application Resources application resources section #1777

Merged
merged 3 commits into from
Nov 14, 2023

Conversation

tghosth
Copy link
Collaborator

@tghosth tghosth commented Nov 8, 2023

This Pull Request relates to issues #1748 and #1620

@tghosth tghosth marked this pull request as ready for review November 8, 2023 08:47
@tghosth tghosth changed the title Issues_1620_1748 Add a new 12.7 Application Resources application resources section Nov 8, 2023
@elarlang elarlang merged commit 69cad18 into master Nov 14, 2023
@elarlang
Copy link
Collaborator

elarlang commented Nov 14, 2023

Seems that issue #1778 takes still time, so I merged those in.

And maybe we need to recheck the category choice in the future: #1620 (comment)

@tghosth tghosth deleted the issues_1620_1748 branch November 15, 2023 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants