4.2.13

Michael Behrns-Miller

@moodboom

26faa44e · already-committed changes that have not yet been pushed will actually be handled by rebase · Aug 09, 2016

already-committed changes that have not yet been pushed will actually be handled by rebase