diff launch @ 13:6de828de4409 draft

Fix an introspection error.
author David Barts <n5jrn@me.com>
date Thu, 16 May 2019 11:42:56 -0700
parents 0d47859f792a
children e88ab99914cf
line wrap: on
line diff