Any revenue due to the state flows to the National Revenue Fund (NRF) through departments concerned before it is surrendered to the NRF. As it stands, the Department of Defence is still working on the matter and will inform the National Treasury accordingly once the matter is finalised.