# This is part of the dpatch infrastructure.
# See dpatch (1) in the man pages for more info.
# Brief summary is to uncomment patches to be applied in this file.
#07_extra_paren
