warning: unknown warning option '-Wno-deprecated-copy'

[Stephan Witt]

Am 16.10.2020 um 10:05 schrieb Jean-Marc Lasgouttes <lasgouttes at lyx.org>:
> 
> Le 11/10/2020 à 21:06, Stephan Witt a écrit :
>> Am 11.10.2020 um 20:55 schrieb Stephan Witt <st.witt at gmx.net>:
>> Oh, that was the wrong patch. The correct one is attached now.
> 
> Does what I pushed to master work well?

Yes, it works. Thank you.

Stephan