1.7.19

github-actions released this 20 Sep 13:57

da76b5f

fix for the spurious xref rename problem when indexing
fix overflowing header in the UI
fix XML insertion for the deploy Python tool (and Docker image)

Assets 3