Update frontend to the master branch
This makes the previous kics2
branch in the frontend obsolete, since the relevant commits have been merged into the master
branch.
This makes the previous kics2
branch in the frontend obsolete, since the relevant commits have been merged into the master
branch.