Three outstanding github pull requests, should they be included in 2.15 ?