File Changes and Ports
Any data displayed on this site is only for archive purposes and starting with March 2019 is not being updated any more.
Original Change
- Commit date/time: 2014-02-13 03:17
- Push date/time: 2014-02-13 16:30
- Repository: mozilla-central
- File: configure.in
- Revision: 02f0327bf8e1
- Author: Jan Steffens <jan.steffens@gmail.com>
- Comment:
Bug 806917 followup: Fix gstreamer chunk of configure.in to handle --disable-gstreamer properly. r=gps - Bug report: 806917
Port Info
- Bug report: [unknown]
- Repository: [unknown]
- Revision: [unknown]