ports/176011: [patch] update devel/boehm-gc from 7.1 to 7.2d

[Vitaly Magerya]

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

From: Vitaly Magerya <vmagerya at gmail.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/176011: [patch] update devel/boehm-gc from 7.1 to 7.2d
Date: Fri, 8 Mar 2013 16:40:36 +0200

 PR ports/176716 contains this patch and more; please use it instead of this one.