Remove references to my contact details from repo

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

Closed Baltoli closed 3 months ago

Baltoli commented 3 months ago

This PR removes any final references to my contact details from the LLVM backend repo, and assigns them to @gtrepta instead.