Skip to content

ff #6111

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 9 commits into
base: main
Choose a base branch
from
Open

ff #6111

wants to merge 9 commits into from

Conversation

@b4zhar
Copy link

@b4zhar b4zhar commented Feb 12, 2023

ff

@b4zhar
Copy link
Author

b4zhar commented Feb 12, 2023

#6111

@jensmaurer
Copy link
Member

There is a lot of good stuff in here which are point fixes we should take.
There is also the "cxxdraft-htmlgen" macros application, which is a huge amount of churn.

Please split up this pull request so that the point fixes (with [section.label] in front) are separate, and can be applied quickly. The rest probably needs some discussion among the editors how to proceed.

@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 7eaad29 to 3fd6b5d Compare March 5, 2023 17:24
tkoeppe
tkoeppe reviewed Mar 5, 2023
View reviewed changes
tkoeppe
tkoeppe reviewed Mar 5, 2023
View reviewed changes
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 4 times, most recently from 8d33d64 to 33254e4 Compare March 9, 2023 21:19
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 2 times, most recently from 2e864c7 to b8db9e7 Compare March 15, 2023 21:03
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from b8db9e7 to fb4dab8 Compare April 2, 2023 13:14
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from fb4dab8 to 4d5d40d Compare May 22, 2023 08:55
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 4d5d40d to 563dfc6 Compare July 22, 2023 06:07
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 3 times, most recently from 6383f60 to 7f2da1b Compare August 25, 2023 16:13
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 2 times, most recently from f333392 to 68e408d Compare September 5, 2023 09:10
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 68e408d to 735fc8e Compare September 7, 2023 05:28
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 735fc8e to b9fb7e3 Compare October 17, 2023 12:46
@jensmaurer jensmaurer mentioned this pull request Oct 22, 2023
Merged
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from b9fb7e3 to 180690a Compare November 23, 2023 11:36
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 180690a to e02b8b8 Compare December 21, 2023 12:35
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from e02b8b8 to 8cf7969 Compare December 30, 2023 09:46
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 8cf7969 to 7faaaf2 Compare January 26, 2024 09:28
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 7faaaf2 to b4ea113 Compare February 17, 2024 14:11
This was referenced Feb 17, 2024
Merged
Merged
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from b4ea113 to 3839e12 Compare February 24, 2024 16:00
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 6fe84ca to 2bf5214 Compare December 20, 2024 20:08
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 2bf5214 to eb3b442 Compare December 30, 2024 08:57
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from eb3b442 to 6881c89 Compare January 21, 2025 22:36
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 6881c89 to 35ea954 Compare February 15, 2025 12:26
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 3 times, most recently from 4bcd9be to 8cf6b20 Compare March 27, 2025 16:34
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 2 times, most recently from 7a1707e to 45b1ebf Compare April 7, 2025 18:19
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 45b1ebf to 3889474 Compare April 14, 2025 05:00
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 3889474 to 3f2d847 Compare May 18, 2025 12:36
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 3f2d847 to 244a325 Compare June 21, 2025 14:53
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 2 times, most recently from 0d2306f to 5b897bd Compare July 15, 2025 15:32
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 5b897bd to 2f51ba3 Compare July 20, 2025 05:55
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch 2 times, most recently from bb525d2 to 6ab8971 Compare August 3, 2025 06:32
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 6ab8971 to c373588 Compare August 14, 2025 16:25
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from c373588 to 013e3cf Compare August 24, 2025 09:00
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 013e3cf to 8327903 Compare September 6, 2025 20:35
@Eelis Eelis force-pushed the cxxdraft-htmlgen-fixes branch from 8327903 to 9adde4b Compare October 6, 2025 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tkoeppe tkoeppe tkoeppe left review comments

+2 more reviewers

@Eelis Eelis Eelis left review comments

@frederick-vs-ja frederick-vs-ja frederick-vs-ja left review comments

Reviewers whose approvals may not affect merge requirements

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

needs rebase The pull request needs a git rebase to resolve merge conflicts.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@b4zhar @jensmaurer @Eelis @tkoeppe @frederick-vs-ja @wg21bot