Merge branch 'main' into fix/dns-name-panic

juanfont · Jun 16, 2022 · 2215e17 · 2215e17
2 parents 8f31ed5 + 157db30
commit 2215e17
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -31,3 +31,5 @@ test_output/
 # Nix build output
 result
 .direnv/
+
+integration_test/etc/config.dump.yaml