Welcome to version 0.18 of the Dev Home GitHub Extension! This release we focused quality and bug fixes. Here are our latest updates:
Changes
- The review requested widget is now customizable. (#440)
Bug fixes
- After updating a widget with a default name, the name now updates as well. (#439)