- Add LICENSE - Make portlint happy PR: ports/168838 Submitted by: Oliver Hartmann <ohartman at zedat.fu-berlin.de> [1] Approved by: myself (maintainer)
PR: ports/114601 Submitted by: Ulrich Spoerlein <uspoerlein@gmail.com> Approved by: Joerg Pulz <Joerg.Pulz@frm2.tum.de> (maintainer)