From 0b010f3d3b03834dc8df74fb2024cd21f7e566f3 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Wed, 24 May 2023 12:48:22 +0200 Subject: [PATCH] fix(deps): update dependency featureide to v3.9.3 (#58) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> --- Directory.Build.props | 2 +- tools/utils/config.ps1 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Directory.Build.props b/Directory.Build.props index 784358e..97f0866 100644 --- a/Directory.Build.props +++ b/Directory.Build.props @@ -21,7 +21,7 @@ 2.3.5 - v3.9.2 + v3.9.3 $(MSBuildThisFileDirectory)\featureide.snk diff --git a/tools/utils/config.ps1 b/tools/utils/config.ps1 index 07b11ac..468990d 100644 --- a/tools/utils/config.ps1 +++ b/tools/utils/config.ps1 @@ -9,7 +9,7 @@ $PSDefaultParameterValues['*:ErrorAction'] = 'Stop' $IKVM_VERSION = "8.5.0" # renovate: datasource=github-releases depName=featureide packageName=FeatureIDE/FeatureIDE -$FEATUREIDE_VERSION = "v3.9.2" +$FEATUREIDE_VERSION = "v3.9.3" # newer version is broken #disabled renovate: datasource=maven depName=sat4j packageName=org.ow2.sat4j:org.ow2.sat4j.pom