ports/176716: [patch] devel/boehm-gc update to 7.2d combining previous PRs

[Vitaly Magerya]

The following reply was made to PR ports/176716; it has been noted by GNATS.

From: Vitaly Magerya <vmagerya at gmail.com>
To: bug-followup at FreeBSD.org, umq at ueo.co.jp
Cc:  
Subject: Re: ports/176716: [patch] devel/boehm-gc update to 7.2d combining
 previous PRs
Date: Sun, 21 Jul 2013 20:26:56 +0300

 Turns out that the latest patch has incomplete pkg-plist: all the files
 installed into share/doc/gc/ when DOCS option is set are missing.