Dmitry Tantsur ccdfa1d02d Support Debian Buster and add CI jobs for it ...

Let us extend our supported OS coverage! I also suspect this patch
fixes Debian Stretch support since all required changes seem to
apply to it as well.

Change-Id: I233082dff072ab7033ff68fce7f7b92ad557de80

2020-06-02 11:51:36 +02:00

..

notes

Support Debian Buster and add CI jobs for it

2020-06-02 11:51:36 +02:00

source

Merge "Fix pygments style"

2020-05-23 09:16:03 +00:00