Re: [Jflex-devel] I've deleted stale branches in git

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

And also, I've renamed 1.6.0 to v1.6.0 because the github interface uses
reverse alphanumerical order, and it was strange to see

   - v1.6.1
   - release_1_5_2
   - ...
   - ...
   - release_1_4_0
   - 1.6.0


2017-11-08 21:01 GMT+01:00 Régis Décamps <de...@us...>:

> Hello,
>
> There were a couple of old and stale branches in git that I've deleted.
>
> jflex-1.4.3-fixes *[DELETED]*
> The head of this branch is now know as 1.4.4-SNAPSHOT
> <https://github.com/jflex-de/jflex/tree/1.4.4-SNAPSHOT>
>
> jflex_1_5 *[DELETED]*
> The head of this branch is now known as 1.5.2-SNAPSHOT
> <https://github.com/jflex-de/jflex/tree/1.5.2-SNAPSHOT>
>
> --
> Régis
>
>


-- 
Régis Décamps

http://regis.decamps.info/