[Bug 755066] flex: build failure due to mismatched texi2dvi

[GStreamer (GNOME Bugzilla)]

https://bugzilla.gnome.org/show_bug.cgi?id=755066

Sebastian Dröge (slomo) <slomo at coaxion.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|git master                  |1.7.1

--- Comment #7 from Sebastian Dröge (slomo) <slomo at coaxion.net> ---
commit 32200e117d35f15e4012c5142ec5b1533c5a3f30
Author: Justin Kim <justin.kim at collabora.com>
Date:   Wed Sep 16 00:27:35 2015 +0900

    flex: arrange patches into one directory

    https://bugzilla.gnome.org/show_bug.cgi?id=755066

commit 6d5091443a1bfce75af2f749ebde588855c54f31
Author: Justin Kim <justin.kim at collabora.com>
Date:   Tue Sep 15 23:18:12 2015 +0900

    flex: don't generate document for all platform

    https://bugzilla.gnome.org/show_bug.cgi?id=755066

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
You are the assignee for the bug.