diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-04-21 21:16:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-21 21:16:39 +0000 |
| commit | 9793aafb9cdcfbe0b8c00a7ec96d95451d6e9f1a (patch) | |
| tree | 788a301c40d1f5b065d51d0265d26f3a2f642e43 /src | |
| parent | 7f5907c78d58b75a4a0771217bdb488b8f42ac95 (diff) | |
| parent | a06114a99d13f28182cef1877d1f24c0c26b0a1f (diff) | |
| download | nix-9793aafb9cdcfbe0b8c00a7ec96d95451d6e9f1a.zip | |
Merge #1701
1701: Document pushing the release tag to GitHub r=asomers a=rtzoeller
Co-authored-by: Ryan Zoeller <rtzoeller@rtzoeller.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions