ゴミ箱がなくなった

つい先日、「毎回手でゴミ箱を空にしてから同期を待たないとね。ぶつぶつ。もうやだー（泣）」と書いた。すると、その声がどこかに届いたのか、今日見たら、ローカルのゴミ箱がなくなってた。削除するといちいちGmail側のゴミ箱に捨てに行く模様。まぁいいけど。