From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Tue, 21 Apr 2020 05:25:07 +0000 (+0200)
Subject: Merge branch 'post-bold2' into avoid-domino
X-Git-Url: https://mop.ddnsfree.com/gitweb/?p=brisk.git;a=commitdiff_plain;h=refs%2Fheads%2Favoid-domino

Merge branch 'post-bold2' into avoid-domino
---

8aa71f0001530432f21fe31216b753ac6d92401a