Avoid an unnecssary suffix to the goto filename#2472
Merged
zhassan-aws merged 1 commit intomodel-checking:mainfrom May 25, 2023
Merged
Avoid an unnecssary suffix to the goto filename#2472zhassan-aws merged 1 commit intomodel-checking:mainfrom
zhassan-aws merged 1 commit intomodel-checking:mainfrom
