I did not, wasn’t worth it at the time, hope to buy more of the dip and sell into the news. I feel we will get something near the end of this month or beginning of October.
The pattern is the same, around 3 months between prs, with an occasional rare pr in-between. Check out the dates of the previous.