Hi all, PHP 5.6.1 has been released and it would be nice if we could have that in the archive before the close of jessie (5 nov). I've tried to import it with git-import-orig but end up with conflicts in two ext/date/ files. Is this normal and/or am I doing something wrong? Cheers, Thijs