From 1776a1e06d230195eecfc0abf55f97054e7974c2 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 (cherry picked from commit 6eb94da75f246a18065c942df85d524eb4beec00) --- .../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