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: Hirohisa Yamaguchi <umq at ueo.co.jp>
Cc: bug-followup at freebsd.org
Subject: Re: ports/176716: [patch] devel/boehm-gc update to 7.2d combining
 previous PRs
Date: Mon, 11 Mar 2013 10:45:37 +0200

 Hirohisa Yamaguchi <umq at ueo.co.jp> wrote:
 >  # Hope this patch will be the last :)
 
 Yup, looks good to me.