Subject: [quicwg/base-drafts] 700ba1: Comment about notational conventions

From: Martin Thomson <[email-masked]>
Date: Thu, 05 Jul 2018 21:22:09 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: 700ba1c0de47465034676e40a58ced71c8694428
      https://github.com/quicwg/base-drafts/commit/700ba1c0de47465034676e40a58ced71c8694428
  Author: Martin Thomson <[email-masked]>
  Date:   2018-06-29 (Fri, 29 Jun 2018)

  Changed paths:
    M draft-ietf-quic-invariants.md

  Log Message:
  -----------
  Comment about notational conventions

  Commit: f0217bcecd3adbe7d77840966244c4d5d691bbe0
      https://github.com/quicwg/base-drafts/commit/f0217bcecd3adbe7d77840966244c4d5d691bbe0
  Author: Martin Thomson <[email-masked]>
  Date:   2018-07-06 (Fri, 06 Jul 2018)

  Changed paths:
    M draft-ietf-quic-invariants.md

  Log Message:
  -----------
  Merge pull request #1500 from quicwg/invariants-convenstions

Comment about notational conventions

Compare: https://github.com/quicwg/base-drafts/compare/5b331bf17560...f0217bcecd3a
      **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.