Skip to content

MidnightBSD uses mandoc #73

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
Merged
merged 1 commit into from
Jan 17, 2024
Merged

MidnightBSD uses mandoc #73

merged 1 commit into from
Jan 17, 2024

Conversation

laffer1
Copy link
Contributor

@laffer1 laffer1 commented Jan 11, 2024

No description provided.

briandfoy
briandfoy reviewed Jan 11, 2024
View reviewed changes
Copy link
Owner

@briandfoy briandfoy left a comment

Choose a reason for hiding this comment

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

This looks good, but I'd like Sawyer to have the chance to incorporate it in his big patch that's coming. It will be in the next release though.

@briandfoy briandfoy self-assigned this Jan 11, 2024
@briandfoy briandfoy added Type: feature request add a feature that does not exist Status: needs feedback requestor or community feedback needed to go on Priority: low get to this whenever labels Jan 11, 2024
@briandfoy
Copy link
Owner

Hey @xsawyerx, should I merge this to master or would you like to pull it into your branch first? Baring some other plan, I'll merge this to master next week.

@briandfoy briandfoy merged commit ef8daee into briandfoy:master Jan 17, 2024
@briandfoy briandfoy added Status: accepted the fix is accepted and removed Priority: low get to this whenever Status: needs feedback requestor or community feedback needed to go on labels Jan 17, 2024
@xsawyerx
Copy link
Collaborator

xsawyerx commented Feb 7, 2024

Sorry, I didn't monitor the inbox for this. I'll incorporate it in my changes.

I've been busy lately, but I'm back to wrap up my big PR.

@briandfoy briandfoy added Status: released there is a new release with this fix and removed Status: accepted the fix is accepted labels Feb 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@briandfoy briandfoy briandfoy approved these changes

Assignees

@briandfoy briandfoy

Labels
Status: released there is a new release with this fix Type: feature request add a feature that does not exist
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@laffer1 @briandfoy @xsawyerx