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.

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

Fix #10773 Document new build-type: Hooks in format specification history #10823

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Fix #10773 Document new build-type: Hooks in format specification history #10823

wants to merge 1 commit into from

Conversation

mpilgrem
Copy link
Collaborator

@mpilgrem mpilgrem commented Mar 8, 2025

Also corrects formatting of other existing documentation under cabal-version: 3.14.

This PR does not modify behaviour or interface

  • Patches conform to the coding conventions.
    Not applicable.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).
    Not applicable.

@mpilgrem mpilgrem requested review from geekosaur and adamgundry March 8, 2025 14:46
@Mikolaj Mikolaj requested a review from alt-romes March 8, 2025 16:20
adamgundry
adamgundry approved these changes Mar 11, 2025
View reviewed changes
Copy link
Member

@adamgundry adamgundry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @mpilgrem!

@mpilgrem
Fix #10773 Document build-type: Hooks in format specification history
b3ae8b3 
Also corrects formatting of other documentation under `cabal-version: 3.14`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adamgundry adamgundry adamgundry approved these changes

@geekosaur geekosaur Awaiting requested review from geekosaur

@alt-romes alt-romes Awaiting requested review from alt-romes

At least 2 approving reviews are required to merge this pull request.

Assignees
No one assigned
Labels
attention: needs-review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mpilgrem @adamgundry @Mikolaj