tree c5a4f5488061d4c0a8660014bc4f4838361ee4aa
parent bc7397214147701d6e70141ff70bf6e84f9aab62
author Serge Bazanski <serge@monogon.tech> 1680104802 +0200
committer Serge Bazanski <serge@monogon.tech> 1680185943 +0000

metropolis/proto: move log-related types to common

Having them in API is kinda weird, especially as we're
generating/parsing them from a few libraries already.

Change-Id: I87b4b51f151443c60b87e3e50753c395fcf6e845
Reviewed-on: https://review.monogon.dev/c/monogon/+/1437
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>