Re: [LyX/master] Upstreaming compilation patch needed for Gentoo.

[Pavel Sanda]

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