So I'm fine with Bo's patch.

Done (18404).

I do not change the interface of any other Insets such as
InsetInclude. Bug 3598 can be handled later.

Cheers,
Bo

Reply via email to