Skip to content

Drop post_header_text support (pg content added by POST_HEADER_TEXT). - #3198

Open
drgrice1 wants to merge 1 commit into
openwebwork:developfrom
drgrice1:drop-post-header-text
Open

Drop post_header_text support (pg content added by POST_HEADER_TEXT).#3198
drgrice1 wants to merge 1 commit into
openwebwork:developfrom
drgrice1:drop-post-header-text

Conversation

@drgrice1

@drgrice1 drgrice1 commented Sep 4, 2026

Copy link
Copy Markdown
Member

This is not needed anymore. See openwebwork/pg#1533.

This is not needed anymore.  See the corresponding pg pull request.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant