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-ml/ocaml-fileutils: add 0.6.3 #21172

Closed
wants to merge 1 commit into from

Conversation

rkitover
Copy link
Contributor

@rkitover rkitover commented Jun 9, 2021

No changes to ebuild.

Closes: https://bugs.gentoo.org/769233

Signed-off-by: Rafael Kitover rkitover@gmail.com

No changes to ebuild.

Closes: https://bugs.gentoo.org/769233

Signed-off-by: Rafael Kitover <rkitover@gmail.com>
@gentoo-bot
Copy link

Pull Request assignment

Submitter: @rkitover
Areas affected: ebuilds
Packages affected: dev-ml/ocaml-fileutils

dev-ml/ocaml-fileutils: @rkitover, @gentoo/proxy-maint

Linked bugs

Bugs linked: 769233


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 self-maintained The PR changes only packages that are maintained by the submitter (i.e. no need to ask anybody else) assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR. labels Jun 9, 2021
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2021-06-09 10:24 UTC
Newest commit scanned: 355be6b
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/79071851aa/output.html

@gentoo-bot gentoo-bot closed this in ec804ac Jun 9, 2021
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. self-maintained The PR changes only packages that are maintained by the submitter (i.e. no need to ask anybody else)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants