[libre-riscv-dev] sv2nmigen, switch to power isa

[Jacob Lifshay]

On Tue, Nov 5, 2019, 11:19 Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

>
> then - just as in the above conversation, subtract EUR 1000 from #72
> budget and *ADD* it to the new bug.
>

I'm pretty sure Luke intended for bug #147 (the new bug) to end up with
€1000 and that bug #72 would end up decreasing from €5000 to €4000 so that
the sum of the budgets over all the bugs wouldn't change.

Jacob