Re: [Jflex-devel] next release?

[Régis D. <re...@de...>]

Le lun. 3 févr. 2020 à 10:03, Gerwin Klein <ge...@do...> a écrit :

> Hi Régis, Steve,
>
> it looks like we’re in a reasonably good state to push out the JFlex 1.8.0
> release.
>
> There are a few things I still wanted to do, but they can also just be
> included in the next release.
>
> I should have a look at the change log, but otherwise I think it’s pretty
> much ready to go.
>
> Anything else from your side that you’d still want to include in 1.8.0, or
> should I start looking at the release process?
>
> Cheers,
> Gerwin
>


Hey Gerwin,

I think releasing now is the right thing to do. The draft changelog
<https://github.com/jflex-de/jflex/releases/tag/untagged-53a53c530d78f791cf4c>
already contains many valuable things (and doesn't list your recent
changes) and a recent build would avoid issues caused by an old build such
as issue/712 <https://github.com/jflex-de/jflex/issues/712>

I'm sorry the release process is still very manual which is causing an
overhead on you.

On my side, I don't plan to work much on JFlex in the short/medium term.

 --
Régis

http://regis.decamps.info/