On 04/02/2018 09:41 AM, Pavel Sanda wrote: > Pavel Sanda wrote: >> commit 1a4404944bf5830164435b0dedb6f6bee9c7371b >> Author: Pavel Sanda <sa...@lyx.org> >> Date: Mon Apr 2 15:39:56 2018 +0200 >> >> Upstreaming compilation patch needed for Gentoo. > Riki, this is needed for 2.3.1. Ok? P
Yes, go ahead. Riki
