Merge branch 'maint-0.3.5' into release-0.3.5

2024-12-06 19:41:15 +01:00 · 2018-12-18 08:10:11 -05:00
parent 580c68ec1d c61cd5775c
commit e64157a54f
2 changed files with 3 additions and 7 deletions
@@ -1,4 +0,0 @@
-  o Minor features (bootstrap):
-    - Add the bootstrap tag name to the log messages, so people
-      troubleshooting connection problems can look up a symbol instead
-      of a number.  Closes ticket 28731.