[marcosdumay]

They didn't. They mostly didn't use US govt bonds at that time, and the change was made by disconnecting other currencies from the dollar (but, granted, not at once).