Re: #5884: Koji tag for Python 3.4