[gentoo-commits] proj/linux-patches: Branch deleted: origin/4.0

[Mike Pagano]

commit:     0000000000000000000000000000000000000000
Commit:     Mike Pagano <mpagano <AT> gentoo <DOT> org>
CommitDate: Tue Jun 23 13:57:55 2015 +0000

Branch deleted: origin/4.0