On Tue, Jul 03, 2018 at 04:33:37PM -0600, William Moreno wrote: > > > > > > OK. I'll ask releng to merge on Monday. > > > > > Was it merged?
Yep. Zbyszek _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/3PP34SFZUKLC2IA6QWVW7YS54ZGMCN2O/
