diff configure @ 420:13475895a79b r1.3

- prep for 1.3 release, version number bump, etc.
author Tassilo Philipp
date Fri, 17 Dec 2021 11:07:30 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff