FYI/BRANCH: Patches applied to branch gdb-13-branch

FYI/BRANCH: Patches applied to branch gdb-13-branch

[Joel Brobecker]

Hello,

Now that the gdb-13-branch has been created (and its corresponding
branchpoint tag), I am about to push the following two commits
on the new branch, which are preparation for the GDB 13.1 release.

  - [release/branch 1/2] Bump version to 13.0.90.DATE-git.
  - [release/branch 2/2] Set development mode to "off" by default.

Thank you,
-- 
Joel

[release/branch 1/2] Bump version to 13.0.90.DATE-git.

[Joel Brobecker]

Now that the GDB 13 branch has been created,
this commit bumps the version number in gdb/version.in to
13.0.90.DATE-git

For the record, the GDB 13 branch was created
from commit 71c90666e601c511a5f495827ca9ba545e4cb463.
---
 gdb/version.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdb/version.in b/gdb/version.in
index c865eb9d98..bbd6516b9b 100644
--- a/gdb/version.in
+++ b/gdb/version.in
@@ -1 +1 @@
-13.0.50.DATE-git
\ No newline at end of file
+13.0.90.DATE-git
\ No newline at end of file
-- 
2.34.1

[release/branch 2/2] Set development mode to "off" by default.

[Joel Brobecker]

This is done by setting the "development" variable to "false"
in bfd/development.sh.
---
 bfd/development.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bfd/development.sh b/bfd/development.sh
index d7b944d181..f4f15e04bf 100644
--- a/bfd/development.sh
+++ b/bfd/development.sh
@@ -16,7 +16,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # Controls whether to enable development-mode features by default.
-development=true
+development=false
 
 # Indicate whether this is a release branch.
 experimental=true
-- 
2.34.1