We are currently migrating Bugzilla to GitHub issues.
Any changes made to the bug tracker now will be lost, so please do not post new bugs or make changes to them.
When we're done, all bug URLs will redirect to their equivalent location on the new bug tracker.

[patch] the patch for the cmake file

cmake.stdcheaders.diff (text/plain), 617 bytes, created by Martin Gerhardy on 2015-12-06 10:29:52 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Martin Gerhardy

Created: 2015-12-06 10:29:52 UTC

Size: 617 bytes

patch

obsolete

Actions: View | Diff

Attachments on bug 3200: 2330

We are currently migrating Bugzilla to GitHub issues.Any changes made to the bug tracker now will be lost, so please do not post new bugs or make changes to them.When we're done, all bug URLs will redirect to their equivalent location on the new bug tracker.