#96 git subrepo pull (merge) float
subrepo:
subdir: "float"
merged: "73f85209"
upstream:
origin: "https://git.autistici.org/ai3/float.git"
branch: "master"
commit: "7e37a32b"
git-subrepo:
version: "0.4.6"
origin: "https://github.com/ingydotnet/git-subrepo"
commit: "73a0129"
Edited by sgk