Re: DEL don't get synced

[Michael Ströder]

Howard Chu wrote:

Marc Patermann wrote:

There are reverted commits in git (ITS#7162). Should a build again with
current git status?

Yes, build with current git.

Should we take this as a call to have a test round?

Ciao, Michael.