close bug on this branch

diff --git a/doc/todo/need_global_renamepage_hook.mdwn b/doc/todo/need_global_renamepage_hook.mdwn
index aa543a64c1559d172b4e846a748f7e3f45ebb7bd..ce55b42c3c523ed184536c3696b498e08d4853ce 100644 (file)
--- a/doc/todo/need_global_renamepage_hook.mdwn
+++ b/doc/todo/need_global_renamepage_hook.mdwn
@@ -61,3 +61,5 @@ would solve my problem. Hmmm? --[[intrigeri]]
 >>> not be broken. I'm thus proposing to keep the existing
 >>> `renamepage` as it is, and call `rename` the global hook I need.
 >>> --[[intrigeri]]
+
+[[done]] as part of po branch