[boost] [odeint ] Can fix for ticket #12034 be merged into master branch?

Subject: [boost] [odeint ] Can fix for ticket #12034 be merged into master branch?
From: Aparna Kumta (aparna.kumta_at_[hidden])
Date: 2016-08-19 13:06:21

The fix for Boost ticket #12034  has been in the develop branch for 
about 6 months now.
Could this please be merged into the master branch so it makes it in for 
Boost 1.62 release?

Thanks,

Aparna