(b) On or before the first day of November of each year, the Department of Administration shall certify to the Governor and the State Treasurer and deliver to the Speaker of the House of Delegates and the President of the Senate a certification as to the amount of pension liability redemption payments to be appropriated for the next fiscal year in order to pay in full when due all pension liability redemption payments that will become due during the next fiscal year. The certification shall include the amount and due date of each pension liability redemption payment. All moneys appropriated by the Legislature in accordance with a certification made pursuant to this subsection shall be deposited into the Pension Liability Redemption Fund.
(c) The State Treasurer shall pay to the trustee under the trust indenture or agreement executed by the Governor all pension liability redemption payments as and when due. The payments shall be transferred by electronic funds transfer, unless some other manner of funds transfer is specified by the Governor. No payments shall be required for bonds that are defeased or bonds for which a deposit sufficient to provide for all payments on the bonds has been made.