tree 59a930d7392d6bc55ac9bb099371e442f7a541ea
parent 9f4311219ccc46945f9d6dd1dc1d71595b65ba47
author Luca Milanesio <luca.milanesio@gmail.com> 1637800776 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1637800822 +0000

Add Thomas and Patrick to the lists of maintainers

Change-Id: I8e13843fd90eb38ee553ec81818e49ad53225715