Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 654512 - dev-util/idea-community-18.1.2 version bump
Summary: dev-util/idea-community-18.1.2 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Alice Ferrazzi
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-05-01 10:40 UTC by Gert Pellin
Modified: 2020-02-14 11:19 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Gert Pellin 2018-05-01 10:40:13 UTC
dev-util/idea-community version bump to 18.1.2
Comment 1 Jonas Stein gentoo-dev 2018-05-01 11:39:36 UTC
Thank you for the bump request. 
You can help the maintainer with further information:
Does a simple bump [1] work on your system? 
Chances are high, because a first look on the bump revealed only small changes.

[1] https://wiki.gentoo.org/wiki/Custom_repository#Simple_version_bump_of_an_ebuild_in_the_local_overlay
Comment 2 Gert Pellin 2018-05-01 17:34:34 UTC
Yes it works on my system.
Comment 3 Gert Pellin 2018-05-01 17:38:26 UTC
I see the pull request did not link automatically.


See Also: https://github.com/gentoo/gentoo/pull/8227
Comment 4 Christophe PEREZ 2018-05-30 18:32:00 UTC
2018.1.4 is out
https://www.jetbrains.com/idea/download/#section=linux

Version: 2018.1.4
Build: 181.5087.20
Released: May 20, 2018
Comment 5 Stephan Litterst 2018-06-29 05:27:56 UTC
2018.1.5 is out.
Comment 6 Thymo van Beers 2018-11-22 14:05:59 UTC
2018.3 has been released.
Comment 7 Alice Ferrazzi Gentoo Infrastructure gentoo-dev 2019-01-29 15:20:11 UTC
solved with last commit