fix CI, fix heading and add comment requested at today's editor's call

This commit is contained in:
Sergey Zubkov
2020-05-28 15:06:52 -04:00
parent d56d67969c
commit 24c3993e97
2 changed files with 5 additions and 2 deletions

View File

@@ -632,6 +632,7 @@ webby
Webcolor
webcolors
WG21
WorkQueue
'widen'
x1
x2