From d619cadb31d56186b8aa16f64f7f6ae1837b8c97 Mon Sep 17 00:00:00 2001
From: Project Nayuki <me@nayuki.io>
Date: Wed, 27 May 2020 17:50:43 +0000
Subject: [PATCH] Do not open pull requests!