<div dir="ltr">Hi,<div>  according to <a href="https://fedoraproject.org/wiki/End_of_life">https://fedoraproject.org/wiki/End_of_life</a> , Fedora 20 is EOL since 2015-06-23.</div><div>Unless anyone has objections, I'd drop it from the build farm and replace it for our purposes with fedora-22, possible also rawhide (aka unstable).</div><div>Any thoughts?<br clear="all"><div><br></div>-- <br><div class="gmail_signature">    Francesco</div>
</div></div>