Subject: [quicwg/wg-materials] a38142: Give this a better name

From: Mark Nottingham <[email-masked]>
Date: Wed, 11 Jul 2018 17:56:14 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/wg-materials
  Commit: a38142f259f76170fd474afc28f36ad009b1946a
      https://github.com/quicwg/wg-materials/commit/a38142f259f76170fd474afc28f36ad009b1946a
  Author: Martin Thomson <[email-masked]>
  Date:   2018-07-12 (Thu, 12 Jul 2018)

  Changed paths:
    M ietf102/keys.pdf

  Log Message:
  -----------
  Give this a better name

  Commit: 05956c05674dd384a678ddc170d2b780d7918da9
      https://github.com/quicwg/wg-materials/commit/05956c05674dd384a678ddc170d2b780d7918da9
  Author: Mark Nottingham <[email-masked]>
  Date:   2018-07-12 (Thu, 12 Jul 2018)

  Changed paths:
    M ietf102/keys.pdf

  Log Message:
  -----------
  Merge pull request #56 from martinthomson/keys-102

Give this a better name

Compare: https://github.com/quicwg/wg-materials/compare/5690f4eded4b...05956c05674d
      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.