Master uncompilable on cygwin

[Enrico Forestieri]

On Sat, Mar 05, 2022 at 04:30:09AM +0100, Thibaut Cuvelier wrote:
> 
> On Sat, 5 Mar 2022 at 03:40, Enrico Forestieri <forenr at lyx.org> wrote:
> 
> > On Sat, Mar 05, 2022 at 03:00:08AM +0100, Thibaut Cuvelier wrote:
> > >
> > > What I don't get is why casting one value is easy, but a vector is not...
> > > What about adding a manual cast around this line?
> > >
> > > std::vector<docstring> mathCommands() const { return math_commands_; }
> >
> > The attached patch works for me.
> >
> 
> It also compiles for me and the conversion of Unicode LaTeX files still
> works. I was initially afraid of changing the type of the field, because I
> had no idea why it was this way.

Patch committed at 955308de.

-- 
Enrico