After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 741899 - build: Add missing header file
build: Add missing header file
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2014-12-23 11:19 UTC by Mathieu Bridon
Modified: 2014-12-23 13:22 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
build: Add missing header file (799 bytes, patch)
2014-12-23 11:19 UTC, Mathieu Bridon
committed Details | Review

Description Mathieu Bridon 2014-12-23 11:19:13 UTC
.
Comment 1 Mathieu Bridon 2014-12-23 11:19:16 UTC
Created attachment 293246 [details] [review]
build: Add missing header file
Comment 2 Christian Hergert 2014-12-23 12:02:14 UTC
Review of attachment 293246 [details] [review]:

Thanks! Go ahead and push to master.
Comment 3 Mathieu Bridon 2014-12-23 13:22:49 UTC
Attachment 293246 [details] pushed as 07c7ce7 - build: Add missing header file