Promote Sockets page header to a h1#26315

Merged

fredrikekre merged 1 commit intoJuliaLang:masterfrom

mortenpi:patch-1

Mar 4, 2018

Commits on Mar 4, 2018

Make sure Sockets page has h1 header
mortenpi
authored