https://bugzilla.redhat.com/show_bug.cgi?id=1541043
David Kaspar [Dee'Kej] <dkaspar(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |CLOSED
Resolution|--- |RAWHIDE
Flags|needinfo?(puntogil(a)libero.i |
|t) |
|needinfo?(jochen@herr-schmi |
|tt.de) |
Last Closed| |2018-05-02 08:28:29
--- Comment #4 from David Kaspar [Dee'Kej] <dkaspar(a)redhat.com> ---
The pull-request has been merged by Igor Gnatenko based on my request, since
the main-admin & admin were not responsive to needinfo. Therefore I'm closing
this BZ.
--
You are receiving this mail because:
You are on the CC list for the bug.