On Thu, Oct 23, 2014 at 7:10 PM, Stephan Witt <st.w...@gmx.net> wrote: > It is enough for today. > > Stephan
I don't know if it helps, but RStudio ran into the same bug and added workarounds in the following two commits: https://github.com/rstudio/rstudio/commit/9b286615e6f74ef8b738769fa1e3bb862461cbc6 https://github.com/rstudio/rstudio/commit/9effd13cb6cfe8bd79f0fa5e93e9b57488b3e186 Scott
