Bumps [jquery-ui-dist](https://github.com/jquery/jquery-ui) from 1.13.0 to 1.13.1. - [Release notes](https://github.com/jquery/jquery-ui/releases) - [Commits](https://github.com/jquery/jquery-ui/compare/1.13.0...1.13.1) --- updated-dependencies: - dependency-name: jquery-ui-dist dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
6.6 KiB
6.6 KiB