up to jdk16 --- Makefile.orig 2008-10-08 16:01:05.000000000 +0900 +++ Makefile 2008-10-08 16:04:30.000000000 +0900 @@ -21,7 +21,7 @@ USE_ZIP= yes USE_JAVA= yes -JAVA_VERSION= 1.5 +JAVA_VERSION= 1.5+ NO_BUILD= yes
Maintainer of databases/sqldeveloper, Please note that PR ports/127938 has just been submitted. If it contains a patch for an upgrade, an enhancement or a bug fix you agree on, reply to this email stating that you approve the patch and a committer will take care of it. The full text of the PR can be found at: http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/127938 -- Edwin Groothuis via the GNATS Auto Assign Tool edwin@FreeBSD.org
State Changed From-To: open->feedback Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
El miércoles 08 de octubre a las 12:08:51 CEST, Edwin Groothuis escribió: > Maintainer of databases/sqldeveloper, > > Please note that PR ports/127938 has just been submitted. > > If it contains a patch for an upgrade, an enhancement or a bug fix > you agree on, reply to this email stating that you approve the patch > and a committer will take care of it. > > The full text of the PR can be found at: > http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/127938 Thanks for the PR. I attach the complete patch. Best Regards
State Changed From-To: feedback->open Maintainer has provided a patch.
Responsible Changed From-To: freebsd-ports-bugs->stefan Take.
State Changed From-To: open->closed Committed, thanks!