tree 9f43b34cd447fcff74cbf4ea0baf41440343246a
parent 2670c007517d8d72c182df6e589fd9dc43692e26
author Guillaume Nodet <gnodet@gmail.com> 1641545481 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1641546195 +0100

[MNG-6326] Make the build fail if core extensions can not be loaded (#648)