Array.copy(): Also set the queue of the new array.
Also documents Array.copy(), bumps the version, and fixes a folding error in array.py.
This closes issue 184 on github.
Edited by Matt Wala
Also documents Array.copy(), bumps the version, and fixes a folding error in array.py.
This closes issue 184 on github.