GPU Cacheが設定された状態でDatabaseをDropすると、GPU Cacheが残り続ける

[kaigai]

だれもGPU Cacheを消す人がいなくなるのが問題。
滅多に起こる問題ではないが…。

関連 commit : 7d312e867357525d3682fa2ecef9cdc5a362499f

[kaigai]

OAT_DROP を使えば捕捉できそう。