Subject: [quicwg/base-drafts] 08ed4e: Fix number agreement: a number _is_ reduced

From: Martin Thomson <[email-masked]>
Date: Tue, 03 Jul 2018 20:24:41 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: 08ed4e3796cf1caeb2b03b3671ab859ef0ad84c4
      https://github.com/quicwg/base-drafts/commit/08ed4e3796cf1caeb2b03b3671ab859ef0ad84c4
  Author: Dmitri Tikhonov <[email-masked]>
  Date:   2018-07-03 (Tue, 03 Jul 2018)

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

  Log Message:
  -----------
  Fix number agreement: a number _is_ reduced

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

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

  Log Message:
  -----------
  Merge pull request #1515 from dtikhonov/201807031124-number-is-reduced

Fix number agreement: a number _is_ reduced

Compare: https://github.com/quicwg/base-drafts/compare/9dcc013f004b...7b07552ecb71
      **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.