ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
300 stars 26 forks source link

chore(deps): update dependency eslint-plugin-jsdoc to v47.0.2 #725

Closed renovate[bot] closed 8 months ago

renovate[bot] commented 8 months ago

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
eslint-plugin-jsdoc 47.0.1 -> 47.0.2 age adoption passing confidence

Release Notes

gajus/eslint-plugin-jsdoc (eslint-plugin-jsdoc) ### [`v47.0.2`](https://togithub.com/gajus/eslint-plugin-jsdoc/releases/tag/v47.0.2) [Compare Source](https://togithub.com/gajus/eslint-plugin-jsdoc/compare/v47.0.1...v47.0.2) ##### Bug Fixes - **TS:** use flat config; fixes [#​1130](https://togithub.com/gajus/eslint-plugin-jsdoc/issues/1130) ([3677e43](https://togithub.com/gajus/eslint-plugin-jsdoc/commit/3677e43322f74a22d2a91a60ebed5f367e6461af))

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

â™» Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.



This PR has been generated by Mend Renovate. View repository job log here.