[teiid-dev] Teiid 8.12.3

Hello all, It's time to produce another fix release. I'd like to get that out tomorrow. Let me know if there is anything we should wait for. If there are no other critical issues and we are able to proceed with 8.13 in a timely fashion, then this could be the last 8.12.x community release. Steve