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

dev-java/resin-servlet-api: slot 2.4 min java 1.8 #20673

Closed
wants to merge 1 commit into from

Conversation

vaukai
Copy link
Contributor

@vaukai vaukai commented May 3, 2021

Bug: https://bugs.gentoo.org/786777
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Volkmar W. Pogatzki gentoo@pogatzki.net

Bug: https://bugs.gentoo.org/786777
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
@gentoo-bot
Copy link

Pull Request assignment

Submitter: @vaukai
Areas affected: ebuilds
Packages affected: dev-java/resin-servlet-api

dev-java/resin-servlet-api: @gentoo/java

Linked bugs

Bugs linked: 786777


In order to force reassignment and/or bug reference scan, please append [please reassign] to the pull request title.

Docs: Code of ConductCopyright policy (expl.) ● DevmanualGitHub PRsProxy-maint guide

@gentoo-bot gentoo-bot added assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR. labels May 3, 2021
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2021-05-03 17:39 UTC
Newest commit scanned: 836e324
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/8299c707d4/output.html

@gentoo-bot gentoo-bot closed this in 9d9b298 May 4, 2021
@fordfrog
Copy link
Contributor

fordfrog commented May 4, 2021

@vaukai thanks! merged straight to stable, dropped old.

@vaukai vaukai deleted the resin-servlet-api branch May 4, 2021 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants