Subject: Bug#25476 Hunting: pivot-root test fails on foreign distro

From: zimoun <[email-masked]>
Date: Tue, 11 Feb 2020 01:16:10 +0100

Dear,

This bug seems fixed by  a1a8b7f2e20513a3ad968e74e7ec52546404e3c6 as
explained here [1].

Any objection to close it?
Or new information blocking the closing?

[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25476#29

Thank you in advance.

All the best,
simon