Subject: [quicwg/base-drafts] 6654eb: Use 'time_sent' instead of 'time' consistently

From: janaiyengar <[email-masked]>
Date: Sun, 16 Dec 2018 11:22:19 -0800

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: 6654eb263da11995196507353cbe0582af7a931f
      https://github.com/quicwg/base-drafts/commit/6654eb263da11995196507353cbe0582af7a931f
  Author: Alessandro Ghedini <[email-masked]>
  Date:   2018-12-15 (Sat, 15 Dec 2018)

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

  Log Message:
  -----------
  Use 'time_sent' instead of 'time' consistently

The field was originally called "time", but now "time_sent" is used in
DetectLostPackets() and it seems more descriptive, so use it everywhere.

  Commit: e3b8bf3fa3951ce9007a0bc135a97516ba1cb86e
      https://github.com/quicwg/base-drafts/commit/e3b8bf3fa3951ce9007a0bc135a97516ba1cb86e
  Author: janaiyengar <[email-masked]>
  Date:   2018-12-16 (Sun, 16 Dec 2018)

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

  Log Message:
  -----------
  Fix lint

  Commit: b87dad30a88aefd393033e51d5519a5db7f654e9
      https://github.com/quicwg/base-drafts/commit/b87dad30a88aefd393033e51d5519a5db7f654e9
  Author: janaiyengar <[email-masked]>
  Date:   2018-12-16 (Sun, 16 Dec 2018)

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

  Log Message:
  -----------
  fix formatting

  Commit: 91da5d45c909ea8877fd17b6ad028b5f220601d7
      https://github.com/quicwg/base-drafts/commit/91da5d45c909ea8877fd17b6ad028b5f220601d7
  Author: janaiyengar <[email-masked]>
  Date:   2018-12-16 (Sun, 16 Dec 2018)

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

  Log Message:
  -----------
  I hate the online editor

  Commit: 19a46f192062e99fd2e86763e122465562480333
      https://github.com/quicwg/base-drafts/commit/19a46f192062e99fd2e86763e122465562480333
  Author: janaiyengar <[email-masked]>
  Date:   2018-12-16 (Sun, 16 Dec 2018)

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

  Log Message:
  -----------
  Merge pull request #2193 from ghedo/time_sent

Use 'time_sent' instead of 'time' consistently

Compare: https://github.com/quicwg/base-drafts/compare/97ae487118d4...19a46f192062
      **NOTE:** This service has 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.