diff options
| author | Jorge O. Castro <jorgec@vmware.com> | 2020-04-06 14:37:06 -0400 |
|---|---|---|
| committer | Jorge O. Castro <jorgec@vmware.com> | 2020-04-06 14:37:06 -0400 |
| commit | d819c15fdc491902302b1dfaa964eab4e3aa0563 (patch) | |
| tree | c5bdf6ca1e381239fb69804a44993a5837ec2a3b /github-management | |
| parent | 8ad1ee4eb77e9744a19bd7dc643fbea46e84fc7c (diff) | |
Fix up titles to be consistent
Signed-off-by: Jorge O. Castro <jorgec@vmware.com>
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions