aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-01-14 18:16:11 +0000
committerGitHub <[email protected]>2020-01-14 18:16:11 +0000
commitb2ed130ffd9c79de26249a1dfb2a8312d6af12b3 (patch)
tree0ff98ea233dc9c6202660fb54abd3a9189c9993b /docs
parent767ff2c13c5b8c21fcbac072ff1a18a39b956408 (diff)
parent864434137a3ed17f2a96981780bf7d522e57fd4b (diff)
Merge #2841
2841: More UI friendly labels r=kjeremy a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions