Commit Graph

2 Commits

Author SHA1 Message Date
Mark Veidemanis 9774da0d00
Remove some debugging code 2022-09-06 12:18:58 +01:00
Mark Veidemanis 87324de666
Fix some Manticore queries 2022-09-06 11:53:32 +01:00