DDlog v1.2.0

[1.2.0] - Dec 8, 2021

Bug fixes

• Fix broken command recording in the DDlogDynamic API.

SQL-to-DDlog compiler

• More efficient joins
• Bug fixes

Self-profiler

• Add anchors to the profile, so one can create hyperlinks to individual profile
  entries.