f163bc2 Bugfix: Fix a wrong end-of-comment tag

Authored and Committed by Libor Polčák 2 years ago
    Bugfix: Fix a wrong end-of-comment tag
    
        
file modified
+1 -1