Fri, 19 Jun 2020 16:58:55 +0200close branch JSON-107. Too old. Not merged. Nobody cares, yet. Start new branch if necessary. JSON-107
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 16:58:55 +0200] rev 931
close branch JSON-107. Too old. Not merged. Nobody cares, yet. Start new branch if necessary.

Fri, 19 Jun 2020 16:19:56 +0200close branch JSON-128. Own WebSockets server abandoned. Not merged. Start new branch if necessary. JSON-128
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 16:19:56 +0200] rev 930
close branch JSON-128. Own WebSockets server abandoned. Not merged. Start new branch if necessary.

Fri, 19 Jun 2020 16:18:02 +0200close branch JSON-142. Too old. Not merged. Code changes unrelated to Jira issue. Start new branch if necessary. JSON-142
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 16:18:02 +0200] rev 929
close branch JSON-142. Too old. Not merged. Code changes unrelated to Jira issue. Start new branch if necessary.

Fri, 19 Jun 2020 16:15:10 +0200close branch JSON-134. Too old. Not merged. Start new branch if necessary. JSON-134
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 16:15:10 +0200] rev 928
close branch JSON-134. Too old. Not merged. Start new branch if necessary.

Fri, 19 Jun 2020 16:07:09 +0200close branch JSON-147. Issue rejected. JSON-147
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 16:07:09 +0200] rev 927
close branch JSON-147. Issue rejected.

Fri, 19 Jun 2020 17:00:28 +0200Follow-up to rev. c4bd13315875: Remove nulllogger.cc/hh from Windows build.
Jorg Knobloch [Fri, 19 Jun 2020 17:00:28 +0200] rev 926
Follow-up to rev. c4bd13315875: Remove nulllogger.cc/hh from Windows build.

Fri, 19 Jun 2020 15:54:30 +0200close branch "postrelease". It is the new "default" now. postrelease
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 15:54:30 +0200] rev 925
close branch "postrelease". It is the new "default" now.

Fri, 19 Jun 2020 15:53:01 +0200Added tag old_pre-sync_default for changeset 0d9dc1ba4ce9
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 15:53:01 +0200] rev 924
Added tag old_pre-sync_default for changeset 0d9dc1ba4ce9

Fri, 19 Jun 2020 15:51:46 +0200rename 'postrelease' branch into 'default' branch.
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 15:51:46 +0200] rev 923
rename 'postrelease' branch into 'default' branch.

Fri, 19 Jun 2020 15:50:52 +0200merge 'JSON-152' into 'postrelease' branch. postrelease
Roker <roker@pep-project.org> [Fri, 19 Jun 2020 15:50:52 +0200] rev 922
merge 'JSON-152' into 'postrelease' branch.