git subrepo pull (merge) float

subrepo:
  subdir:   "float"
  merged:   "07120d8"
upstream:
  origin:   "https://git.autistici.org/ai3/float.git"
  branch:   "master"
  commit:   "13c9e29"
git-subrepo:
  version:  "0.4.1"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "a04d8c2"
1 job for test-vmine in 21 minutes and 15 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Test
passed #194534
full_test

00:21:15