tree c388397d052b084dffc763cc565edbdff4b84faf
parent 8e24ebe1abbf1d8137ba842f258185a500949cd0
author Luca Milanesio <luca.milanesio@gmail.com> 1791265835 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1791265915 -0700

Fetch Gerrit version dynamically in intro.html

Avoid having a stale version number in the intro.html and fetch the
current version dynamically using the /config/server/version.

In case of errors, keep the v3.15 text by default.

Change-Id: I1c99f23cfeebb2081fa7bf06818531d5e9a511f1