Sie haben auf den externen Link "https://sourcegraph.com/blog/the-future-of-scip" geklickt. Damit verlassen Sie die Website von DR.DRUM.

Gehe zu https://sourcegraph.com/blog/the-future-of-scip.