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 request section option #890

Merged
merged 2 commits into from
Aug 28, 2023
Merged

Add request section option #890

merged 2 commits into from
Aug 28, 2023

Conversation

ptoffy
Copy link
Member

@ptoffy ptoffy commented Aug 27, 2023

We have the request section file but we can't access it, this fixes it

@ptoffy ptoffy added the no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work) label Aug 27, 2023
@0xTim 0xTim merged commit 3e8bf03 into main Aug 28, 2023
1 check passed
@0xTim 0xTim deleted the request-section branch August 28, 2023 10:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants