diff options
| author | Jon Glassman <jglassman@gitlab.com> | 2023-04-18 13:27:12 +0300 |
|---|---|---|
| committer | Jon Glassman <jglassman@gitlab.com> | 2023-04-18 13:27:12 +0300 |
| commit | 59020980b8b5f71dc9a7f0765a0f950e27ee7e17 (patch) | |
| tree | 2791e9fcaa724c3ecb3e3bae3e15a73a1c8620e3 /.gitlab | |
| parent | c047191f78259ca62280d4d4d08130801d4a41e0 (diff) | |
| parent | 366002da67ffcde522f9c642bbe00cd47187839b (diff) | |
Merge branch 'mk-change-real-time-title' into 'main'
Change real-time navigation entry title
See merge request https://gitlab.com/gitlab-org/gitlab-docs/-/merge_requests/3767
Merged-by: Jon Glassman <jglassman@gitlab.com>
Approved-by: Jon Glassman <jglassman@gitlab.com>
Co-authored-by: Matthias Kaeppler <mkaeppler@gitlab.com>
Diffstat (limited to '.gitlab')
0 files changed, 0 insertions, 0 deletions