Subject: [quicwg/base-drafts] abcb20: Convert command-line arguments to integers

From: Martin Thomson <[email-masked]>
Date: Wed, 13 May 2020 17:46:35 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: abcb20da2d769c0ffe9eaeea94b10730d61e82fb
      https://github.com/quicwg/base-drafts/commit/abcb20da2d769c0ffe9eaeea94b10730d61e82fb
  Author: Martin Thomson <[email-masked]>
  Date:   2020-05-13 (Wed, 13 May 2020)

  Changed paths:
    M .lint.py

  Log Message:
  -----------
  Convert command-line arguments to integers

Then black did its thing.

  Commit: dad1786ae37811b245fcb285885188adfff797fd
      https://github.com/quicwg/base-drafts/commit/dad1786ae37811b245fcb285885188adfff797fd
  Author: Martin Thomson <[email-masked]>
  Date:   2020-05-14 (Thu, 14 May 2020)

  Changed paths:
    M .lint.py

  Log Message:
  -----------
  Merge pull request #3652 from quicwg/lint-args

Convert command-line arguments to integers

Compare: https://github.com/quicwg/base-drafts/compare/e58f1b6d472b...dad1786ae378