Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 507944 - dev-java/jflex-1.5.1: version bump request
Summary: dev-java/jflex-1.5.1: version bump request
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Java (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Assignee: Java team
URL: http://jflex.de/history.html
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-04-17 22:09 UTC by Martin Walch
Modified: 2014-04-17 22:20 UTC (History)
0 users

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 Martin Walch 2014-04-17 22:09:05 UTC
From the project website:

JFlex 1.5.1 (Mar 21, 2014)
* fixed bug #126, problem calling ./jflex start scripts
* fixed bug #125, minor documentation flaws
* further documentation and website updates
* JFlex now reports the correct version string
* added support for CUP2 with %cup2 switch, based on patch by Andreas Wenger
Comment 1 Tom Wijsman (TomWij) (RETIRED) gentoo-dev 2014-04-17 22:20:18 UTC
+  17 Apr 2014; Tom Wijsman <TomWij@gentoo.org> +jflex-1.5.1.ebuild:
+  Version bump to 1.5.1; fixes bug #507944, filed by Mr. Anderson
+  (walch.martin).

Thank you very much for filing this version bump bug.