hg: panama/dev: 3 new changesets

[maurizio.cimadamore at oracle.com]

Changeset: d1c8e86b749b
Author:    mcimadamore
Date:      2018-02-02 17:25 +0000
URL:       http://hg.openjdk.java.net/panama/dev/rev/d1c8e86b749b

close branch everything


Changeset: 5117d198272c
Author:    mcimadamore
Date:      2018-02-02 17:25 +0000
URL:       http://hg.openjdk.java.net/panama/dev/rev/5117d198272c

close branch codeSnippet


Changeset: e24bbdf897f8
Author:    mcimadamore
Date:      2018-02-02 17:25 +0000
URL:       http://hg.openjdk.java.net/panama/dev/rev/e24bbdf897f8

close branch prototypeSetting