The source project of this merge request has been removed.
WIP: Cannot re-export a project #802
This allows project export / re-export to work as desired.
I wasn't sure what the default should be for it, so I chose true
This allows project export / re-export to work as desired.
I wasn't sure what the default should be for it, so I chose true