update-manager: only check for dist-upgrades when requested

This commit is contained in:
Ruben Rodriguez 2023-05-01 14:27:32 -04:00
parent 595e1066bc
commit b6021201c7
2 changed files with 34 additions and 2 deletions

View file

@ -19,7 +19,7 @@
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
#
VERSION=18
VERSION=19
. ./config