Status changed to implemented. Editor is set to @janosi
This commit is contained in:
parent
e8dbd18a19
commit
9d7f6d4538
|
@ -10,10 +10,11 @@ reviewers:
|
||||||
- "@thockin"
|
- "@thockin"
|
||||||
approvers:
|
approvers:
|
||||||
- "@thockin"
|
- "@thockin"
|
||||||
editor: TBD
|
editor:
|
||||||
|
- "@janosi"
|
||||||
creation-date: 2018-06-14
|
creation-date: 2018-06-14
|
||||||
last-updated: 2018-06-22
|
last-updated: 2018-09-14
|
||||||
status: provisional
|
status: implemented
|
||||||
see-also:
|
see-also:
|
||||||
- PR64973
|
- PR64973
|
||||||
replaces:
|
replaces:
|
||||||
|
|
Loading…
Reference in New Issue