[Tutti-commits] Jenkins build is back to normal : tutti #1064