Re: [LyX/master] Fix sideset hints, part of bug #11015.

[Pavel Sanda]

Pavel Sanda wrote:
> commit 584b83d33c50a8bd88e1baae9b6d4dcbadcf0b82
> Author: Pavel Sanda <sa...@lyx.org>
> Date:   Sat Feb 3 17:51:00 2018 +0100
> 
>     Fix sideset hints, part of bug #11015.

Richard, 2.3.1 or 2?
Pavel