diff options
Diffstat (limited to 'gentoo-devs.seeds')
-rw-r--r-- | gentoo-devs.seeds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gentoo-devs.seeds b/gentoo-devs.seeds index 6637a29..9a6f771 100644 --- a/gentoo-devs.seeds +++ b/gentoo-devs.seeds @@ -1717,10 +1717,10 @@ "keys": [ "EF3DBBA8590B6DE89B120B46E4ADD485703CEAFD" ], - "name": "Remi Cardona", + "name": "R\u00e9mi Cardona", "nick": "remi", "uid": [ - "Remi Cardona <remi@gentoo.org>" + "R\u00e9mi Cardona <remi@gentoo.org>" ] }, "rich0": { |