Fix #4316 : la PR a ete fermee sur github quand on est (...)

spip/spip
-
Par Cerdic, le 10 février 2021 à 16h01min :

Fix #4316 : la PR a ete fermee sur github quand on est passe a git.spip.net je suppose

*Modifié*
    prive/squelettes/inclure/barre-nav.html

Détails : https://git.spip.net/spip/spip/commit/94115d3dd408f0e4b4e3bbb94c464a3615241b61