Skip to content

Please merge 814fb658ca262f5c2df47f11d47f91fac188e0d6 to 10.0 #44445

@jvesely

Description

@jvesely
Bugzilla Link 45100
Resolution FIXED
Resolved on Apr 30, 2020 07:34
Version unspecified
OS Linux
Blocks #44654
CC @zmodem,@tstellar
Fixed by commit(s) 814fb65 9c5a83e

Extended Description

Hi,

I understand it's pretty late in the process, 814fb65 is just a small build system fix that doesn't impact the final binaries.

thank you

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugzillaIssues migrated from bugzilla

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions