Hello,
just to let you know that 4.13.0.Final will be shifted by 1 or 2 weeks so
master branch is unfrozen.
I will post another message with the new dates ASAP
--
Jeff Maury
Manager, DevTools
Red Hat EMEA <
https://www.redhat.com>
jmaury(a)redhat.com
@RedHat <
https://twitter.com/redhat> Red Hat
<
https://www.linkedin.com/company/red-hat> Red Hat
<
https://www.facebook.com/RedHatInc>
<
https://www.redhat.com>
<
https://redhat.com/summit>