diff options
| author | Jack Cummings <jack@mudshark.org> | 2020-11-11 13:40:31 -0800 |
|---|---|---|
| committer | Jack Cummings <jack@mudshark.org> | 2020-11-11 13:40:31 -0800 |
| commit | d6af8fd0dcd9e9c4b9aadb471a87302b334c0954 (patch) | |
| tree | c5cafd6c45780d5dad91eeb4265e332e52567779 /maintainers/maintainer-list.nix | |
| parent | 9b440931ca945dfcc6544362f8e87dfee63b289b (diff) | |
bluespec maintainer flokli -> jcumming (#103487)
Diffstat (limited to 'maintainers/maintainer-list.nix')
0 files changed, 0 insertions, 0 deletions