diff --git a/.github/release-nest-v3 b/.github/release-nest-v3 index f11c82a..9a03714 100644 --- a/.github/release-nest-v3 +++ b/.github/release-nest-v3 @@ -1 +1 @@ -9 \ No newline at end of file +10 \ No newline at end of file diff --git a/debian/source/local-options b/debian/source/local-options index 3ad3e80..d15e007 100644 --- a/debian/source/local-options +++ b/debian/source/local-options @@ -23,3 +23,5 @@ extend-diff-ignore = src/gallium/drivers/pl111/Makefile.sources # CI extend-diff-ignore = .gitlab-ci|.gitlab-ci.yml + +extend-diff-ignore = VERSION