Subject: [quicwg/base-drafts] a8d733: Script updating issues at 2019-11-15T19:39:32Z. [c...

From: Martin Thomson <[email-masked]>
Date: Fri, 15 Nov 2019 11:39:40 -0800

Branch: refs/heads/gh-pages
  Home:   https://github.com/quicwg/base-drafts
  Commit: a8d733032afb175da24f31d7d52c21d369ca6d7a
      https://github.com/quicwg/base-drafts/commit/a8d733032afb175da24f31d7d52c21d369ca6d7a
  Author: ID Bot <[email-masked]>
  Date:   2019-11-15 (Fri, 15 Nov 2019)

  Changed paths:
    M issues.json
    M pulls.json

  Log Message:
  -----------
  Script updating issues at 2019-11-15T19:39:32Z. [ci skip]