This is the list of copyright holders of DevDat. For information on the license, see LICENSE.md. Lukas Kades, 2020