Hugo Wang fe74fa8fc4 upgrade package cicada to 0.9.13 (#6001)		2020-11-08 10:13:01 +01:00
..
build.sh	upgrade package cicada to 0.9.13 (#6001)	2020-11-08 10:13:01 +01:00
update-prompt.patch	cicada: update to 0.9.12 (#5346)	2020-05-30 16:57:33 +03:00