Add reference to PRs

phanrahan · Dec 12, 2019 · 19a0fe7 · 19a0fe7
1 parent c4aba21
commit 19a0fe7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/magma_2_migration_guide.md b/docs/magma_2_migration_guide.md
@@ -25,3 +25,7 @@
 * `isinput`, `isinout`, `isoutput` renamed to `is_input`, `is_inout`,
   `is_output` for clarity
 
+
+See these PRs for examples of these changes
+* Mantle: https://github.com/phanrahan/mantle/pull/165
+* Fault: https://github.com/leonardt/fault/pull/187