Merge pull request #25 from AlexandreBeaulne/unstable

Fixed the PropEr tests for empty appends