Thanks @Kirs10-Riley . Your pull request made me realize that there were additions to Antonio's documentation that were never merged. I added those bits today and alerted Jorge to them on his log. I should have time to dig into the details either tomorrow or Monday and will give you feedback as soon as I can.
Please make a quick comment here when you've read this. I'm not 100% sure that notifications get sent if the pull request is already merged when I make them.
Kirs10-Riley
commented
2 years ago
Thanks @Kirs10-Riley . Your pull request made me realize that there were additions to Antonio's documentation that were never merged. I added those bits today and alerted Jorge to them on his log. I should have time to dig into the details either tomorrow or Monday and will give you feedback as soon as I can.
Please make a quick comment here when you've read this. I'm not 100% sure that notifications get sent if the pull request is already merged when I make them.