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

[Régis D. <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