This server has been upgraded to version 12.6.4. Enjoy!

  • Alexander Gall's avatar
    First release · d0f48229
    Alexander Gall authored
    This version works but lacks documentation and needs a thorough
    clean-up.
    d0f48229