301ea7 Display the global issue identifier in the page, rather than the actual id

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Display the global issue identifier in the page, rather than the actual id
    
        
file modified
+2 -2