v1.13.0

• New features
  • Save and restore random number seeds with SeedRNG.
    This saves seeds to /root/seedrng since that's a persisted, writable
    location on Nerves. If not using Nerves, this location can be changed at
    compile-time using LOCALSTATEDIR.