[GitHub] groovy pull request #767: GROOVY-8233: Java stub generation incorrect for st...

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[GitHub] groovy pull request #767: GROOVY-8233: Java stub generation incorrect for st...

paulk-asert
GitHub user paulk-asert opened a pull request:

    https://github.com/apache/groovy/pull/767

    GROOVY-8233: Java stub generation incorrect for static properties of …

    …traits

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/paulk-asert/groovy groovy8233

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/groovy/pull/767.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #767
   
----
commit 2048d680490a2bc8710a59b907a50770593e97e0
Author: Paul King <paulk@...>
Date:   2018-07-05T13:26:23Z

    GROOVY-8233: Java stub generation incorrect for static properties of traits

----


---
Reply | Threaded
Open this post in threaded view
|

[GitHub] groovy pull request #767: GROOVY-8233: Java stub generation incorrect for st...

paulk-asert
Github user paulk-asert closed the pull request at:

    https://github.com/apache/groovy/pull/767


---