On 02/14/2018 01:02 PM, Pavel Sanda wrote: > 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?
Seems fine for 2.3.1. rh