On 02/17/2018 08:22 PM, Jerry James wrote:
On Sat, Feb 17, 2018 at 9:19 PM, Jerry James
<loganjerry(a)gmail.com> wrote:
> And it looks like the issue has been fixed. Thanks, Mamoru.
Except that it hasn't. Sorry, I misread the linked ticket as being
this one so, no, the issue is still ongoing.
Yeah, it's still broken. I looked at it a bit but couldn't see what the
exact cause of the breakage is. ;(
If we cannot get it fixed by tomorrow morning, I'll revert us back to
the older koji version. ;(
Sorry for the hassles.
kevin