Le 06/02/2018 à 18:17, Scott Kostyshak a écrit :
Absolutely. I think JMarc made a similar suggestion to hide it. I proposed to silently ignore it because by nature of being a release manager I tend to by default suggest the fewest changes possible now that we are after rc2.
Note that we already do that on Linux, so it would not be an extraordinary change. We can decide to disable it for now and reinstate it if we find what is wrong (and if people on lyx-users ask for it).
JMarc
