commit to pull
Merge branch '13oct' of https://github.com/og113/kink into 13oct
merged
commit to pull
Merge branch '13oct' of https://github.com/og113/kink into 13oct
now pi compiles on cosmos