Skip to content

Fix failure of bootstrap script as reported by @sfisol

Jeremy Soller requested to merge ticki:patch-1 into master

Created by: ticki

Merge request reports