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