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 735418 - build: Remove a non-existent file from EXTRA_DIST
build: Remove a non-existent file from EXTRA_DIST
Status: RESOLVED FIXED
Product: gnome-common
Classification: Core
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: Gnome Common Maintainer(s)
Gnome Common Maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2014-08-25 23:19 UTC by Philip Withnall
Modified: 2014-08-26 07:57 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
build: Remove a non-existent file from EXTRA_DIST (633 bytes, patch)
2014-08-25 23:19 UTC, Philip Withnall 		committed Details | Review

Description Philip Withnall 2014-08-25 23:19:20 UTC 
Patch attached.
Comment 1 Philip Withnall 2014-08-25 23:19:56 UTC 
Created attachment 284464 [details] [review]
build: Remove a non-existent file from EXTRA_DIST
Comment 2 David King 2014-08-26 06:35:25 UTC 
Review of attachment 284464 [details] [review]:

Looks fine to me.
Comment 3 Philip Withnall 2014-08-26 07:56:56 UTC 
Attachment 284464 [details] pushed as efd34ad - build: Remove a non-existent file from EXTRA_DIST