Home GnuPG

Add new patch to EXTRA_DIST

Description

Add new patch to EXTRA_DIST

Details

Provenance
ikloeckerAuthored on Jun 26 2024, 2:26 PM
Parents
rW86c011acf782: Remove obsolete patch for boost
Branches
Unknown
Tags
Unknown