crash in filesort() with simple ordered delete

Version: '10.1.5-MariaDB'  mariadb.org binary distribution

[ERROR] mysqld got exception 0xc0000005 ;

mysqld.exe!filesort()[filesort.cc:215]

mysqld.exe!mysql_delete()[sql_delete.cc:507]

mysqld.exe!mysql_execute_command()[sql_parse.cc:4041]

mysqld.exe!mysql_parse()[sql_parse.cc:7178]

mysqld.exe!dispatch_command()[sql_parse.cc:1473]

mysqld.exe!do_command()[sql_parse.cc:1093]

mysqld.exe!threadpool_process_request()[threadpool_common.cc:233]

mysqld.exe!io_completion_callback()[threadpool_win.cc:568]

drop table if exists t1;

create table t1(a int) engine=innodb;

delete from t1 order by a;