diff options
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index f4b18db..d4e74c2 100755 --- a/debian/rules +++ b/debian/rules @@ -1,9 +1,9 @@ #!/usr/bin/make -f -EXTENSIONS_VERSION = 45 +EXTENSIONS_VERSION = 46 -GNOME_SHELL_DEPENDS_LOW = 45 -GNOME_SHELL_DEPENDS_HIGH = 46 +GNOME_SHELL_DEPENDS_LOW = 46 +GNOME_SHELL_DEPENDS_HIGH = 47 %: dh ${@} --no-parallel |