aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/guide.md
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-13 07:22:09 +0100
committerGitHub <[email protected]>2021-04-13 07:22:09 +0100
commit15d3b6c577ad370302f9e82f0df4d001300f9b17 (patch)
tree688189f4fafc18b2a00d63f7828d437d926bae0e /docs/dev/guide.md
parent27e80e943824855c5913f20a776b3a5fa959e942 (diff)
parent3b964c0c81e7b8fa0c3ce6425e9ac2d0553bda2f (diff)
Merge #8496
8496: Exclude nightly tag from git describe to fix version string r=lnicola a=lnicola Otherwise if we run `git describe` on the release day we pick up the `nightly` tag from the previous release. changelog fix bors r+ Co-authored-by: LaurenČ›iu Nicola <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions