Re: [gentoo-dev] What means bup?

2018-07-18 Thread Philip Webb
180718 Johannes Huber wrote:
> English is not my mother language, so please clarify what 'bup' means, 
> just seen here : 
> https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee0e0401478cf30b3ced0405f6b89391e05d2397

Surely, it's a typo for 'bump'.

As a native speaker, I've never seen it & Dictionary.com doesn't know it.
The OED is the ultimate authority on such matters,
but I don't have free access : perhaps someone else does.

-- 
,,
SUPPORT ___//___,   Philip Webb
ELECTRIC   /] [] [] [] [] []|   Cities Centre, University of Toronto
TRANSIT`-O--O---'   purslowatchassdotutorontodotca




[gentoo-dev] What means bup?

2018-07-18 Thread Johannes Huber

Hi all,

english is not my mother language, so please clarify what bup means, 
just seen here:


https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee0e0401478cf30b3ced0405f6b89391e05d2397

Just checked if it was a typo, but can't be:
git log --oneline --grep bup | count -l
Expected 0 lines, got 1248.

Best regards,
Johannes