Re: Generated GDB documentation have colliding files on a case insensitive files system

Eli Zaretskii via Gdb-patches
2023-01-07T10:43:58Z

> Date: Sat, 7 Jan 2023 10:42:11 +0100
> CC: <gdb-patches@sourceware.org>
> From: Torbjorn SVENSSON <torbjorn.svensson@foss.st.com>
>
> Do you see any use of the ~214 redirect pages in the GDB context?

Sorry, I don't understand the question. What do you mean by "see any
use" in this context?