On Fri, 1 Apr 2022, Daniel Pérez wrote:
As always, thank you for your hard work, Bjoern. Will test the mentioned stuff as soon as I am able to, hopefully I can get it built in STABLE/13.
git cherry-pick -x 86220d3cbd500b1018dcdabb0ba70644db438cfd (until the next days) git cherry-pick -x 2774f206809b8fd3a4904fe945f029a414fbc642 git cherry-pick -x 73d4ebea3567f18db549638c3d897b6d6758faa4 git cherry-pick -x 20eeed6844e2ab82b909e02c720101297e78d916 merges without problems on a stable/13 for me. I'll start a build as well but I am not expecting surprises. Hope this helps. Bjoern -- Bjoern A. Zeeb r15:7