From 6ac2c3a29b38c1cd06780027a5b24fc2d4bec6c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Tue, 7 Sep 2021 09:46:50 +0200 Subject: [PATCH] Add missing write in updating script --- docs/src/release_notes.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/src/release_notes.md b/docs/src/release_notes.md index 2abd5f380f..8d41834c91 100644 --- a/docs/src/release_notes.md +++ b/docs/src/release_notes.md @@ -113,7 +113,8 @@ for (root, dirs, files) in walkdir(".") if !endswith(file, ".jl") continue end - s = read(joinpath(root, file), String) + path = joinpath(root, file) + s = read(path, String) for pair in [ ".variable_index" => ".variable", "RawParameter" => "RawOptimizerAttribute", @@ -128,9 +129,11 @@ for (root, dirs, files) in walkdir(".") "VariableIndexConstraintNameError", "SettingSingleVariableFunctionNotAllowed" => "SettingVariableIndexFunctionNotAllowed", + "automatic_copy_to" => "default_copy_to", ] s = replace(s, pair) end + write(path, s) end end ```