**** BEGIN LOGGING AT Sat May 30 02:59:59 2020
May 30 16:04:18 <aidanh> actually it looks like at least some of the existing use of crawl_state.prev_cmd is bugged
May 30 16:04:29 <aidanh> !source main.cc:1737
May 30 16:11:06 <aidanh> woops, wrong channel, sorry
**** ENDING LOGGING AT Sun May 31 02:59:57 2020