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

dev-cpp/sourcetrail: Bump to 2019.3.46 #13009

Closed
wants to merge 1 commit into from
Closed

dev-cpp/sourcetrail: Bump to 2019.3.46 #13009

wants to merge 1 commit into from

Conversation

dhallas
Copy link
Contributor

@dhallas dhallas commented Sep 22, 2019

Add ebuild for Sourcetrail 2019.3.46

No ebuild changes compared to 2019.2.39

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

Signed-off-by: David Hallas david@davidhallas.dk

@dhallas
dev-cpp/sourcetrail: Bump to 2019.3.46
b5f230e 
Add ebuild for Sourcetrail 2019.3.46

No ebuild changes compared to 2019.2.39

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

Signed-off-by: David Hallas <david@davidhallas.dk>
@gentoo-bot
Copy link

Copyright policy change

Please note that on 2018-09-15 Trustees have approved new Gentoo copyright policy. All contributions made to Gentoo need to follow this policy. If you include the Signed-off-by line in your commit message, you indicate that you have read the policy and agree to its terms. For more detailed explanation, please see the new Gentoo copyright policy explained article.

Pull Request assignment

Submitter: @dhallas
Areas affected: ebuilds
Packages affected: dev-cpp/sourcetrail

dev-cpp/sourcetrail: @dhallas, @gentoo/proxy-maint

Linked bugs

Bugs linked: 695388

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

Docs: Code of Conduct ● Copyright policy (expl.) ● Devmanual ● GitHub PRs ● Proxy-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 Sep 22, 2019
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2019-09-22 08:57 UTC
Newest commit scanned: b5f230e
Status: ✅ good

No issues found

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@juippis juippis juippis approved these changes

Assignees
No one assigned
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
Milestone
No milestone
4 participants
@dhallas @gentoo-bot @gentoo-repo-qa-bot @juippis