v2021pre → v2022dev1 forward port: Pin to a specific version of debos
Compare changes
Files
2+ 2
− 1
@@ -17,7 +17,8 @@ RUN apt-get update && \
Forward port of !148 (merged)
New debos needs newer fakemachine for the dynamic backends; However that will also mean a newer slirp-helper etc. So do a quick-fix now to pin it to the debos versions that has been in use for the past few months while ensure the new versions don't cause regressions