[pull] master from postgres-ai:master#16

pull[bot] merged 2 commits intobhardwajRahul:masterbhardwajRahul/database-lab-engine:masterfrom

postgres-ai:masterpostgres-ai/database-lab-engine:masterCopy head branch name to clipboard