From 93ff41d3376edac91a3b43fa0c22afea3a79c8e5 Mon Sep 17 00:00:00 2001 From: Lars Eggert Date: Thu, 23 Jul 2015 07:44:51 +0000 Subject: [PATCH] The concluded groups also show RGs now, rename menu item. Commit ready for merge. - Legacy-Id: 9861 --- ietf/templates/base/menu.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ietf/templates/base/menu.html b/ietf/templates/base/menu.html index 7d44ae9a8..60eff279b 100644 --- a/ietf/templates/base/menu.html +++ b/ietf/templates/base/menu.html @@ -30,7 +30,7 @@ {% if flavor == "top" %}{% endif %}
  • Other groups
  • -
  • Concluded WGs
  • +
  • Concluded groups
  • Non-WG lists
  • {% if flavor == "top" %}{% endif %}