[wildwebdeveloper-dev] Wild Web Developer 0.13.1 is released!

[Mickael Istria <mistria@xxxxxxxxxx>]

Hi all,

Wild Web Developer 0.13.1 is released!

📥 p2 repository is available at https://download.eclipse.org/wildwebdeveloper/releases/0.13.1/ (and it also mirrored at https://download.eclipse.org/wildwebdeveloper/releases/latest/ and referenced by Marketplace Entry https://marketplace.eclipse.org/content/wild-web-developer-html-css-_javascript_-typescript-nodejs-angular-json-yaml-kubernetes-xml until a newer release is promoted); IDE packages are at https://download.eclipse.org/wildwebdeveloper/releases/latest/IDEs/

🏷️️ Git tag is 0.13.1 https://github.com/eclipse/wildwebdeveloper/tree/0.13.1

🆕 Release notes are available in https://github.com/eclipse/wildwebdeveloper/blob/master/RELEASE_NOTES.md#0131

👔 PMI Release entry is at https://projects.eclipse.org/projects/tools.wildwebdeveloper/releases/0.13.1

🙏 (By chronological order of commits) Special thanks to Александър Куртаков, Mickael Istria, Victor Rubezhny and Pierre-Yves Bigourdan and who contributed code to this release.

Cheers,
--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers