tree 83c450fa126d24afb25a1dc9d01db1dedc090409
parent 89d0594709a30f9f9998980351a9cd03bd9a5c3a
author Nico Huber <nico.huber@secunet.com> 1702910615 +0100
committer Nico Huber <nico.huber@secunet.com> 1702910655 +0100

VFS: Satisfy GNATprove and No_Secondary_Stack