Merge pull request #1017 from root-expert/safe-facts
authorRomain Tartière <romain@blogreen.org>
Tue, 15 Mar 2022 15:51:40 +0000 (05:51 -1000)
committerGitHub <noreply@github.com>
Tue, 15 Mar 2022 15:51:40 +0000 (05:51 -1000)

Trivial merge