From 6eb94da75f246a18065c942df85d524eb4beec00 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 24 Nov 2013 08:19:10 -0700 Subject: [PATCH] repair to package manager GUI Thanks to Odegov Evgeny for the patch Closes PR 14196 --- .../gui-pkg-manager-lib/pkg/gui/by-list.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt index 5e8e0c4e49..156b135414 100644 --- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt +++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt @@ -118,7 +118,7 @@ (cond [(string