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

bashims: bump devscripts version #287

Merged
merged 1 commit into from
Oct 25, 2023
Merged

bashims: bump devscripts version #287

merged 1 commit into from
Oct 25, 2023

Conversation

axel-h
Copy link
Member

@axel-h axel-h commented Oct 24, 2023

Make the link checker happy again

There are no changes: https://salsa.debian.org/debian/devscripts/-/commits/master/scripts/checkbashisms.pl

@axel-h axel-h added documentation Improvements or additions to documentation dependencies Pull requests that update a dependency file labels Oct 24, 2023
@axel-h axel-h requested a review from lsf37 as a code owner October 24, 2023 15:11
@axel-h axel-h mentioned this pull request Oct 24, 2023
Merged
lsf37
lsf37 approved these changes Oct 25, 2023
View reviewed changes
Copy link
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

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

Thanks, that takes one thing off my todo list!

@lsf37 lsf37 merged commit 2bc0c7b into seL4:master Oct 25, 2023
7 checks passed
@axel-h axel-h deleted the patch-axel-4 branch October 25, 2023 00:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lsf37 lsf37 lsf37 approved these changes

Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@axel-h @lsf37