/* GitCorn Patch Manager — generated; do not edit this file directly. */