Merge branch '4217_remove_distro_specific_stuff'
commit6d67058499657976e1293758e946cfe76a3610ce
authorAndrew Borodin <aborodin@vmail.ru>
Sun, 21 Mar 2021 17:32:28 +0000 (21 20:32 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Sun, 21 Mar 2021 17:32:28 +0000 (21 20:32 +0300)
treefd9509db837061d7bcb0f4060ee4be40fecc727e
parent3ba422950836eae9da099ed3860a5730e54d9197
parent63d50df5d9ad51a9e1b48f04448da47e56bd73d8
Merge branch '4217_remove_distro_specific_stuff'

* 4217_remove_distro_specific_stuff:
  Ticket #4217: remove OS/distro-specific stuff.