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)
commitc0f642aeb9708da2ebdb6e44a7a68e1f2ee87d35
treea3a66c83a8289e6995f338737d552095629bcf48
parent0cd02b83b5e6096e9202781b16e4c22ad47ef42f
parent24f3aba9328a628b0248ad682a16c249ad06b5ea
Merge pull request #1017 from root-expert/safe-facts