-
Alexandre Duret-Lutz authored
Fixes #470, suggested by Cambridge Yang. * python/spot/__init__.py (twa_graph.__copy__): Call make_twa_graph. * tests/python/twagraph.py: Test it. * NEWS: Mention it.
0cf2d285
To find the state of this project's repository at the time of any of these versions, check out the tags.