[spip ↪ 3.2] 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/c965889bcea9a1c2b59e6cf1058bfb08da769bb6