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.

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

xrdb 1.2.1 #737

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

xrdb 1.2.1 #737

wants to merge 1 commit into from

Conversation

maxim-belkin
Copy link
Owner

Created with brew bump-formula-pr.

@maxim-belkin maxim-belkin added the CI-merge Asks CI to merge this pull request with bottles label Oct 24, 2022
@github-actions
Copy link

:shipit: @maxim-belkin has triggered a merge.

@github-actions
Copy link

⚠️ @maxim-belkin bottle publish failed.

@github-actions github-actions bot removed the CI-merge Asks CI to merge this pull request with bottles label Oct 24, 2022
@maxim-belkin maxim-belkin mentioned this pull request Oct 30, 2022
2 tasks
@maxim-belkin
Copy link
Owner Author

==> xrdb -global -n xversion
  Error: maxim-belkin/xorg/xrdb: failed
  An exception occurred within a child process:
    Minitest::Assertion: Expected /Version:\t11/ to match "Version:\tVERSION".

@maxim-belkin maxim-belkin added the Do not merge (yet) "Do not merge" label for PRs that must be shipped together with other changes label Jan 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Do not merge (yet) "Do not merge" label for PRs that must be shipped together with other changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant