Sage 5.13 was released on December 15, 2013. See the release note for some more information. There you can also read about my contributions for this particular version 5.13.
In particular, we added support for finite state machines, automata, and transducers.
See also this query on Sage’s trac server to find out more about my contributions to Sage.