But this specific fund, was it just part of the overall budget? I'm wondering if it was just one portion of it, allocated in the lining of this specific budget, or if it was added in the budget for the overall project.
On November 1st, 2018. See this statement in context.