diff --git a/History.markdown b/History.markdown index 0cfc736c..a5c3cb5c 100644 --- a/History.markdown +++ b/History.markdown @@ -35,6 +35,7 @@ * Fix broken link (#5994) * Default options for script/proof (#5995) * Mention Bash on Ubuntu on Windows (#5960) + * Document `--unpublished` flag introduced in 91e9ecf (#5959) ### Development Fixes