From 13ba36a50ffe91ec4b1e9915dc2f8e0406b63ca4 Mon Sep 17 00:00:00 2001
From: josh-heyer <josh.heyer@enterprisedb.com>
Date: Fri, 25 Jun 2021 13:46:02 +0000
Subject: [PATCH] New PDFs generated by Github Actions

Former-commit-id: 6f4af2dcf4b103f7a3db2ffd8baf5271b9cbe1df