Subject: [quicwg/base-drafts] 085a89: Lint should report errors

From: Martin Thomson <[email-masked]>
Date: Tue, 17 Mar 2020 17:48:32 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: 085a897edf7abbcdb8fd1bb7db8cdaea1e91fbfc
      https://github.com/quicwg/base-drafts/commit/085a897edf7abbcdb8fd1bb7db8cdaea1e91fbfc
  Author: Martin Thomson <[email-masked]>
  Date:   2020-03-18 (Wed, 18 Mar 2020)

  Changed paths:
    M .lint.py

  Log Message:
  -----------
  Lint should report errors

  Commit: 0b4fff252e828606c4ad76f5e58e7d466225d7ba
      https://github.com/quicwg/base-drafts/commit/0b4fff252e828606c4ad76f5e58e7d466225d7ba
  Author: Martin Thomson <[email-masked]>
  Date:   2020-03-18 (Wed, 18 Mar 2020)

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

  Log Message:
  -----------
  Fix line length

  Commit: a97fd54bda5472f47db3a0edd97ad4feb66a1c3c
      https://github.com/quicwg/base-drafts/commit/a97fd54bda5472f47db3a0edd97ad4feb66a1c3c
  Author: Martin Thomson <[email-masked]>
  Date:   2020-03-18 (Wed, 18 Mar 2020)

  Changed paths:
    M .lint.py

  Log Message:
  -----------
  Merge branch 'lint-error'

Compare: https://github.com/quicwg/base-drafts/compare/75ce725ceff0...a97fd54bda54