There are two patches for the boost port that look good and are waiting to be applied. Who should I notify so that these are applied?