You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merge #735: Plugins: fix monotree repo ref from gui/#123 to gui#123
2ca4ef2 Plugins: fix monotree repo ref from gui/#123 to gui#123 (David A. Harding)
Pull request description:
There was a slight miscommunication about the expected format in #733, this uses the format from #734 as tested on the actual release notes:

I also quickly checked the HTML diff from before and after this change and I only saw one unwanted change (a link to an issue was dropped). I think that's acceptable to keep the pattern simple.

ACKs for top commit:
laanwj:
ACK 2ca4ef2
Tree-SHA512: 4e312ac92904f0abab70ca0fa5d45586bff686746162d25ae9ce0653f732e9e0964ea435a9a0f7a4fa40de4ee4372a7cb9c37f8e53a55d978333636bf89373fe
0 commit comments