On Tue, Aug 20, 2019 at 3:05 PM Alexander Lakhin <exclusion(at)gmail(dot)com> wrote:
> Now that the unicums checking is finished, I would like to share the
> script I used to find them.
> Maybe it can be useful to recheck the source tree from time to time...
> I don't think that the check could be fully automated, but with some
> eyeballing it allows to maintain a more consistent state.
Very clever! Thanks for doing that, and sorry for all my typos.
--
Thomas Munro
https://enterprisedb.com