0.5.11

(Full Changelog)

Enhancements made

• Allow specifying extra_labextensions_path #1542 (@jtpio)

Bugs fixed

• Server extension: Fix merging with local config #1543 (@martinRenou)

Contributors to this release

(GitHub contributors page for this release)

@github-actions | @jtpio | @martinRenou