Title says it all. This should close #272 (closed).
Status changed to merged
mentioned in commit aaaf166d