mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-18 05:37:11 +00:00
721cc085a2
But use default "true" to maintain current behavior if not explicitly stated otherwise. Fixes: #11045 (cherry picked from commit 8a703573ea9718a06c94522e40671d46f0b83522)