add release note about Vagrant removal #9838

IQSS · Aug 28, 2023 · 88fbea2 · 88fbea2
1 parent 8866e38
commit 88fbea2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/release-notes/9838-rm-vagrant.md b/doc/release-notes/9838-rm-vagrant.md
@@ -0,0 +1 @@
+Vagrant has been removed. See #9838.