« Previous | Next » 

Revision d32ca4db

IDd32ca4dbb50f160c9ed9ec12a97f7db77d3342bf
Parent 7e9156ae
Child 54afede3

Added by Peter Amstutz 7 months ago

10401: Use use_custom_schema feature for extensions.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences