pete commented on pull request turing-machines/bmcd#85 https://github.com/turing-machines/bmcd/pull/85#issuecomment-2047155063 code, github.com | 2024-04-10 10:25:54 +0000 UTC | No.784 pete commented on turing-machines/bmcd#85 ยท April 10, 2024 10:25 pete commented Apr 10, 2024 Please update the default from 0.0.0 to :: Sure thing! Done.