From 1bff716f3a77e461aea9d6ac0c80874b63c737a4 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 16 Dec 2013 17:26:28 +0100
Subject: [PATCH] comment

---
 ui/topmenu.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/topmenu.py b/ui/topmenu.py
index 6b152c8b..be21db22 100644
--- a/ui/topmenu.py
+++ b/ui/topmenu.py
@@ -81,7 +81,7 @@ def topmenu_items_live (current, page):
         query=query_pi_auths,
         # this one is the target for a $.show() when the query comes back
         button_domid="topmenu-validation")
-        # although the result does not matter, rendering is required for the JS init code to make it in the page
+    # although the result does not matter, rendering is required for the JS init code to make it in the page
     topmenuvalidation.render(request)
 
     return topmenu_items_static (current, request)
-- 
2.47.0