1364839 - devtools-source-map: update to 0.5.0

Status: RESOLVED FIXED

(DevTools :: Framework, defect, P1)

Description

[Tom Tromey :tromey]

Once https://github.com/devtools-html/devtools-core/pull/371 lands,
I'll make a 0.4.0 release of devtools-source-map, then land it in m-c
in order to fix bug 1360357.

Comment 1

[Tom Tromey :tromey]

0.4.0 already came in, which I somehow forgot.
We want 0.5.0 now.

Comment 2

[Tom Tromey :tromey]

Attachment: Bug 1364839 - devtools-source-map v0.5.0: Update bundle from GitHub;

Review commit: https://reviewboard.mozilla.org/r/139752/diff/#index_header
See other reviews: https://reviewboard.mozilla.org/r/139752/

Comment 3

[Julian Descottes [:jdescottes]]

Comment on attachment 8868144 [details]
Bug 1364839 - devtools-source-map v0.5.0: Update bundle from GitHub;

https://reviewboard.mozilla.org/r/139752/#review143118

LGTM!

Comment 4

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/fcb2c384b08b
devtools-source-map v0.5.0: Update bundle from GitHub; r=jdescottes

Comment 5

[Carsten Book [:Tomcat]]

https://hg.mozilla.org/mozilla-central/rev/fcb2c384b08b