From 108c7b6b39534c536a5f8a47dcdad541dc6aaa86 Mon Sep 17 00:00:00 2001 From: Chad Smith Date: Mon, 13 Jul 2020 10:30:00 -0700 Subject: [PATCH] increment version, update changelog --- docs/changelog.md | 3 +++ gdbgui/VERSION.txt | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/changelog.md b/docs/changelog.md index 30cc0279..35700be5 100644 --- a/docs/changelog.md +++ b/docs/changelog.md @@ -1,5 +1,8 @@ # gdbgui release history +## 0.13.2.1 +* No end user changes. This release builds the gdbgui executables with GitHub actions. + ## 0.13.2.0 * Print number of times a breakpoint was hit (@MatthiasKreileder). * Publish sdist to PyPI (this was overlooked in previous release). diff --git a/gdbgui/VERSION.txt b/gdbgui/VERSION.txt index dd678579..d087633b 100644 --- a/gdbgui/VERSION.txt +++ b/gdbgui/VERSION.txt @@ -1 +1 @@ -0.13.2.0 +0.13.2.1