Issue #25609: Double back-ticks to avoid “make check” buildbot failure
1 file changed