zxdu20's picture
Fix default history argument
9d1509a