diff options
Diffstat (limited to 'src/m/mg1.h')
| -rw-r--r-- | src/m/mg1.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/m/mg1.h b/src/m/mg1.h index bf6e708bd7e..5a6250c3c31 100644 --- a/src/m/mg1.h +++ b/src/m/mg1.h @@ -101,3 +101,6 @@ NOTE-END */ /* Avoids a compiler bug */ /* borrowed from sequent.h */ + +/* arch-tag: e15d9072-9e1a-44bf-8add-966be535967b + (do not change this comment) */ |