Is there any documentation on what pool is? (Even better: Is there documentation somewhere on how to navigate repo.mysql.com in general, and what the purpose of each directory is, and who updates these files, and how they generated the files?)
↧