Given that Guewen's concern was resolved a while ago, I set this to approved.
« Back to merge proposal
Given that Guewen's concern was resolved a while ago, I set this to approved.