diff configure @ 2414:6fb99d6dcc6d

Another subrepo update for the PA fix
author Chris Cannam
date Thu, 31 Oct 2019 13:37:53 +0000
parents c56056a3dfb2
children 7bf8a0179e32
line wrap: on
line diff