Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Backports for 0.11.2 (2) #536

Merged
merged 10 commits into from
Jul 30, 2017
Merged

Backports for 0.11.2 (2) #536

merged 10 commits into from
Jul 30, 2017

Conversation

mortenpi
Copy link
Member

@mortenpi mortenpi commented Jul 19, 2017

Refs: #510, #513, #519, #530, #531, #541

mortenpi and others added 5 commits July 19, 2017 22:11
This way we also commit case changes in file names on filesystems that
are case-insensitive.

Fixes #507
(cherry picked from commit edb6803)
With highlight.js v9.12.0 released, there is no need to bundle our own
copy of it for julia-repl.

Closes #465.

(cherry picked from commit 5039c9d)
v2.7.0 still had a bug where it would refer to the old CDN to load some
files. Also, use a new CDN link in the generate() function -- this was
overlooked when the other URLs were switched over.

(cherry picked from commit f2b99eb)
bkamins and others added 3 commits July 20, 2017 19:52
Including checking for Unicode indexing problems.

(cherry picked from commit 6612799)
On v0.7 the behaviour of ANY changed, so Any and ANY are no longer
equivalent.

(cherry picked from commit 89c7f57)
@mortenpi mortenpi added this to the v0.11.2 milestone Jul 29, 2017
staticfloat and others added 2 commits July 29, 2017 21:06
It appears that the 32-bit binary builds are not currently entirely
stable. A doctest in the HTML test example makes crashed Julia on that
binary, even though it works perfectly on other platforms/versions/etc.

(cherry picked from commit e8e5755)
@mortenpi mortenpi merged commit fe5bedd into release-0.11 Jul 30, 2017
@mortenpi mortenpi deleted the backports-0.11.2 branch July 30, 2017 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants