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