*/*: Update my email address

[michaelo]

Summary

Since Siemens has sold our subsidiary to KPS Capital Partners we are now
legally a separate company with new public email addresses. Old ones
will go away in the future.

Approved by: jrm (mentor), otis (mentor)

[jrm]

You also have two entries in UPDATING with that address (in case you also want to change those).

[michaelo]

In D48171#1098375, @jrm wrote:

You also have two entries in UPDATING with that address (in case you also want to change those).

I know, I have left them for historical reasons. The old address will work for at least another year.