And there's always the nightly builds, they will be containing the fix from tomorrow (any timezone) on.
EdB On Fri, Aug 9, 2013 at 5:03 PM, Alexander Doroshko <alexander.doros...@jetbrains.com> wrote: > Thank you very much for a quick response! I think it is not a major issue, > so no need in a new dot-release only because of that. Documenting probably > would be enough for now. > > > On 09.08.2013 15:11, Justin Mclean wrote: >> >> Hi, >> >> Fixed and checked in. >> >> https://github.com/apache/flex-sdk/commit/9f3efa46684bf26381b3e9cb355bff61a013c8e6#build.xml >> >> The question now is do we: >> 1) Make a new point release. >> 2) Document this somewhere including a corrected flex config file to >> download. >> 3) Write a script to correct bad config files out there. >> >> Justin > > -- Ix Multimedia Software Jan Luykenstraat 27 3521 VB Utrecht T. 06-51952295 I. www.ixsoftware.nl